Type Alias: BoolLike

type BoolLike = 
  | boolean
  | BoolExpr
  | DynExpr;