Parameter MakeBooleans.Names

val truename : string

The name of the true abstract value

val falsename : string

The name of the false abstract value