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