Module type Relude_Interface.UPPER_BOUNDED

Represents types that have an upper bound

type t;
let top: t;