def and_r

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

import Base
import bend-ml-tensor-array@0.1.19.0/main.bend as TA

1285def and_r(+a: Bool, +b: Bool, e: {True{} == Bool.and(a, b) : Bool}) -> {True{} == b : Bool}:
1286  match a:
1287    case True{}:
1288      e
1289    case False{}:
1290      %e : TA.BD(_, Unit, {True{} == b : Bool})
1291      Unit{}