Module Deriving_Bounded.Bounded_fpclass

module Bounded_fpclass: Bounded @A$bool{HS|HS@@

type a 
val min_bound : a
val max_bound : a