tur/equal

stdlib/equal.tur

defn

equal-sym

(equal-sym [eq :Equal] :Equal)

defn

(equal-trans [eq1 :Equal eq2 :Equal] :Equal)

Auto-generated by tools/gendocs.py. Do not edit by hand -- run just docs to regenerate.