let
is_outl =
function
Coproduct
(
Out
(
Left
)), _
->
true
|
_
->
false