def prop.if

bend-kit-regex@0.8.0.0 · regex.bend:80

import bend-kit-regex@0.8.0.0/regex.bend as Regex

import Base

80def prop.if(ok: Bool, neg: Bool, name: String, t: String) -> Esc:
81  match ok:
82    case True{}:
83      EItems{[Prop{neg, name}], t}
84    case False{}:
85      EBad{}

Uses (5)

Used by (1)

bend-kit-regex@0.8.0.0/regex:prop.ok