Internal.Void_
type t
= Msat.Solver_intf.void
val equal : 'a -> 'b -> 'c
val hash : 'a -> 'b
val pp : 'a -> 'b -> 'c