let
e_or = binop bool_or