Parameter Defaults'.B

type a = E.a
val min_bound : a
val max_bound : a