module Stdlib.Trait.Eq;

import Stdlib.Data.Bool.Base open;

--- A trait defining equality
trait
type Eq A := mkEq {eq : A -> A -> Bool};