Module type Relude_Interface.LOWER_BOUNDED

Represents types that have a lower bound, like strings or positive ints

type t;
let bottom: t;