module Bounded_fpclass: Bounded A�À£ �$bool°ÀzH S „À{H S ˆ@@°
Bounded
A�À£ �$bool°ÀzH S „À{H S ˆ@@°
type a
val min_bound : a
a
val max_bound : a