let
is_interp =
function
|
Term
.
App
(sym, _, _)
->
Sym
.
Coproduct
.is sym
|
_
->
false