Module Symb.BoundEnd

type t =
| LowerBound
| UpperBound
val neg : t -> t