Up – msat » Msat__ » Internal » Make_cdcl_t » Value

Module `Make_cdcl_t.Value`

type t = Msat.Solver_intf.void

val pp : t Msat.Solver_intf.printer