Module type IntDomain.BooleansNames

Parameter signature for the MakeBooleans functor.

val truename : string

The name of the true abstract value

val falsename : string

The name of the false abstract value