let
sym_is_outr =
function
Coproduct
(
OutR
)
->
true
|
_
->
false