let
sym_is_outl =
function
Coproduct
(
OutL
)
->
true
|
_
->
false