include "basics/types.ma".
include "basics/bool.ma".

record equal (a: Type[0]): Type[1] ≝
{
  equal: a → a → bool
}.