Module Mc2_core__Solver_types.Term_fields
type t
= private int
Generative type of bitfields. Each instantiation of the functor should create a new, incompatible type
val empty : t
Empty bitfields (all bits 0)
val mk_field : unit -> field
Make a new field