def not_true

bend-ml-bpe-tokenizer@0.1.3.0 · main.bend:319

import Base

319# not p is true  ->  p is false
320def not_true(p: Bool, e: {True{} == Bool.not(p) : Bool}) -> {False{} == p : Bool}:
321  match p:
322    case True{}:
323      %e : BD(_, Unit, {False{} == True{} : Bool})
324      Unit{}
325    case False{}:
326      {==}