Module Wp.Lang.F.QED

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