module QED: Logic.Term with module Z = Z and module ADT = ADT and module Field = Field and module Fun = Fun
Logic.Term
with module Z = Z and module ADT = ADT and module Field = Field and module Fun = Fun