~/jendhub

def internal_is_eq_of

bend-mathlib@0.8.1.0 · string.bend:321

import bend-mathlib@0.8.1.0/string.bend as String
import Base

321def internal_is_eq_of(c: Cmp, +d: Cmp, e: {c == d : Cmp}, h: {Cmp.is_eq(c) == True{} : Bool}) -> {Cmp.is_eq(d) == True{} : Bool}:
322  %e : {Cmp.is_eq(_) == True{} : Bool}
323  h

Uses (3)

Used by (1)