Module Lang.F.T

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