let
is_source t =
match
(
T
.deref t).
T
.descr
with
|
T
.
Constr
{
T
.name=
"source"
}
->
true
|
_
->
false