Module Lp_grb.Cs

Constraint sense.

type t =
| LT
| GT
| EQ
val of_char : char -> t
val to_char : t -> char
val t : t Ctypes.typ