links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Lens . Phrase . O
val (>) : t -> t -> t

Greater than comparison.

val (<) : t -> t -> t

Less than comparison.

val (=) : t -> t -> t

Equality comparison.

val (&&) : t -> t -> t

Logical and operator.

val (||) : t -> t -> t

Logical or operator.

val v : string -> t

Variable reference.

val i : int -> t

Integer constant phrase.

val b : bool -> t

Boolean constant phrase.