Module Lang.F.QED

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