Module `Make_pure_sat.Lit`

type t = lit

val term : lit -> term
val level : lit -> int
val assigned : lit -> value option
val weight : lit -> float
val make : st -> term -> t
val debug_assign : Format.formatter -> lit -> unit
val pp : Format.formatter -> lit -> unit
val debug : Format.formatter -> lit -> unit