Hardcaml.Fixed
Bits type with an explicit notion of a fixed point.
module Make : functor (B : Comb.S) -> sig ... end