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