let of_source_t t = match (T.deref t).T.descr with | T.Constr { T.name = "source" ; T.params = [_,t] } -> t | T.Constr { T.name = "active_source" ; T.params = [_,t] } -> t | _ -> assert false