lux/control/bounded

Types

Bounded

A representation of top and bottom boundaries for an ordered type.

(sig: (Bounded a)
  (: a
     top)
   (: a
     bottom))