Module `Make_mcsat.Var`

type t = var

val level : var -> int
val pos : var -> atom
val neg : var -> atom
val reason : var -> reason option
val assignable : var -> lit list option
val weight : var -> float
val mark : var -> unit
val unmark : var -> unit
val marked : var -> bool
val make : st -> formula -> var * Msat.Solver_intf.negated
val clear : var -> unit
val seen_both : var -> bool