Expr.Infix
Floating point math
val (+.) : t -> t -> t
val (-.) : t -> t -> t
val (*.) : t -> t -> t
val (/.) : t -> t -> t
Integer math
val (+) : t -> t -> t
val (-) : t -> t -> t
val (*) : t -> t -> t
val (/) : t -> t -> t
val (<<) : t -> t -> t
val (~-) : t -> t
Comparison
val (<) : t -> t -> t
val (>) : t -> t -> t
val (<=) : t -> t -> t
val (>=) : t -> t -> t
val (<.) : t -> t -> t
val (>.) : t -> t -> t
val (<=.) : t -> t -> t
val (>=.) : t -> t -> t
Booleans
val not : t -> t
val forall : (string * Type.t option) list -> t -> t
val (==) : t -> t -> t
val (&&) : t -> t -> t
val (||) : t -> t -> t
val (==>) : t -> t -> t
val (@+) : t -> t -> t
List concatenation