Module Symb.BoundEnd

type t =
  1. | LowerBound
  2. | UpperBound
val neg : t -> t