def mtr

bend-kit-collections@0.1.4.1 · PROOF.bend:647

import bend-kit-collections@0.1.4.1/PROOF.bend as PROOF

import Base

647def mtr(
648  -V: Data, -a: Maybe<&2, V>, -b: Maybe<&2, V>, -c: Maybe<&2, V>,
649  e1: {a == b : Maybe<&2, V>}, e2: {b == c : Maybe<&2, V>}
650) -> {a == c : Maybe<&2, V>}:
651  Equal.trans(Maybe<&2, V>, a, b, c, e1, e2)

Uses (2)

Used by (5)