Module Lp_grb.Cs

Constraint sense.

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