sig
  type a
  val min_bound : Bounded.Bounded.a
  val max_bound : Bounded.Bounded.a
end