links

The Links Programming Language
IN THIS PACKAGE
Module Links_lens . Phrase . Type
type t =
| Bool
| Int
| Serial
| Float
| String
| Char
| Tuple of t list
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val pp_pretty : Format.formatter -> t -> unit
val equal : 'a -> 'b -> bool
val simplify : t -> t