links

The Links Programming Language
IN THIS PACKAGE
val bool : bool -> t

Create a constant bool phrase

val int : int -> t

Create a constant int phrase

val float : float -> t

Create a constant float phrase

val string : string -> t

Create a constant string phrase

val of_value : Value.t -> t

Create a constant of a links value