Meet

typeclass A: Meet {
    meet: (A, A) -> A
}

A type with a binary meet operation.

GitHub

---

meet

meet: (A, A) -> A

The binary greatest lower bound operation.