let
sym_is_inl =
function
Coproduct
(
InL
)
->
true
|
_
->
false