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