Module Fix.Prop

module Boolean = Fix__.Boolean

The lattice of Booleans.

The lattice of options.

include Fix__.Option
module Option = Fix__.Option.Option

The lattice of sets.

include Fix__.Set
module Set = Fix__.Set.Set