def and_l

bend-ml-llama@0.2.1.0 · main.bend:1277

import bend-ml-llama@0.2.1.0/main.bend as BendMlLlama

import Base

1277# the two halves of a true Bool.and
1278def and_l(+a: Bool, -b: Bool, e: {True{} == Bool.and(a, b) : Bool}) -> {True{} == a : Bool}:
1279  match a:
1280    case True{}:
1281      {==}
1282    case False{}:
1283      e

Uses (2)

Used by (3)