module Bounded_fpclass: Bounded @A$bool{H S |H S @@
Bounded
@A$bool{H S |H S @@
type a
val min_bound : a
a
val max_bound : a