Module type BoolDomain.Names

val name : string
val true_name : string
val false_name : string