links

The Links Programming Language
IN THIS PACKAGE
method bool : bool -> 'self * bool
method char : char -> 'self * char
method int : int -> 'self * int
method float : float -> 'self * float
method list : 'a. ( 'self -> 'a -> 'self * 'a ) -> 'a list -> 'self * 'a list
method option : 'a. ( 'self -> 'a -> 'self * 'a ) -> 'a option -> 'self * 'a option
method type_row : Links_core.Types.row -> 'self * Links_core.Types.row
method type_field_spec : Links_core.Types.field_spec -> 'self * Links_core.Types.field_spec
method unknown : 'a. 'a -> 'self * 'a