def prop.ok

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

import Base

87def prop.ok(neg: Bool, +name: String, t: String) -> Esc:
88  prop.if(List.contains(~String, ~String.eq, cats(), name), neg, name, t)

Uses (7)