or

fun or(that: BoolExp): BoolExp