Module `Make_cdcl_t.Elt`

type t = elt

val of_lit : lit -> elt
val of_var : var -> elt
val id : elt -> int
val level : elt -> int
val idx : elt -> int
val weight : elt -> float
val set_level : elt -> int -> unit
val set_idx : elt -> int -> unit
val set_weight : elt -> float -> unit