-val xor : MathQL.value -> MathQL.value -> MathQL.value
-
-val le : MathQL.value -> MathQL.value -> MathQL.value
-
-val lt : MathQL.value -> MathQL.value -> MathQL.value
-
-val align : string -> string -> MathQL.value
-
-val set : string * 'a -> (string * 'a) list -> (string * 'a) list
-
-type time