links

The Links Programming Language
IN THIS PACKAGE
method string : string -> string
method option : 'a 'a_out. ( 'self -> 'a -> 'a_out ) -> 'a option -> 'a_out option
method list : 'a 'a_out. ( 'self -> 'a -> 'a_out ) -> 'a list -> 'a_out list
method int : int -> int
method float : float -> float
method char : char -> char
method bool : bool -> bool
method unknown : 'a. 'a -> 'a