module T: Qed.Term.Make(Lang.ADT)(Lang.Field)(Lang.Fun)
Qed.Term.Make
(
Lang.ADT
)
Lang.Field
Lang.Fun