Module type Spec.Bool_intf

type var
val true_ : var
val false_ : var