C | |
| concrete [Type] |
Type a non-function, non-variable type , like
int, 'a list, int list.
|
F | |
| func [Type] |
Function, like
int -> int or 'a -> 'a
|
I | |
| internalised [IStringBase] | |
| internalised [IString] |
Phantom type used to mark an internalised istring.
|
| istring [IStringBase] | |
| istring [IString] |
An immutable string, internalised istring.
|
| istring_ [IStringBase] | |
| istring_ [IString] |
The base type of
istring and temp_istring.
|
L | |
| label [TypeLabel.Labeller] |
Create a label, and tag it with a number to make it unique.
|
| label [RandLabel.Labeller] |
The type of labels.
|
| lattice [Lattice] |
A mutable type lattice containing data of type 'a.
|
R | |
| runtime_type_meta [Dynamic] |
Run-time type information associated with a dynamic value has this static type.
|
S | |
| show [Show] |
Type of showers, which contains functions for showing values of type 'a.
|
| subst [Type] |
A substition of a variable for a type.
|
| substs [Type] |
0 or more substitutions.
|
T | |
| t [IString] |
Type alias, so
IString can easily be used as parameter for standard Map
and Hash functors.
|
| t [Dynamic] |
The static type of dynamic values.
|
| temp [IStringBase] | |
| temp [IString] |
Phantom type used to mark a temporary istring.
|
| temp_istring [IStringBase] | |
| temp_istring [IString] |
An immutable string, which may not yet have been internalised.
|
| type_meta [Type] |
A type.
|
V | |
| variable [Type] |
A type variable, like
'a
|