Searched defs:SomeLogical (Results 1 – 2 of 2) sorted by relevance
391 using SomeLogical = SomeKind<TypeCategory::Logical>; variable
441 [&](Expr<SomeLogical> &&) { in Negation()