[package] [Java implementation] [Execution output]


Logical


abstract <T> T: (T: a) and (T: b);
abstract <T> T: (T: a) or (T: b);
abstract <T> T: not (T: a);