let
sym_is_inr =
function
Coproduct
(
InR
)
->
true
|
_
->
false