open Purification_types

module PurificationMonad(Accu : sig type t end) : PurificationMonad with type accu := Accu.t

module Make
         (EH: High.ErrorHandling with type 'a t = 'a)
         (H : High.API with type 'a eh := 'a EH.t) : API with type typ  := H.Type.t
                                                          and type term := H.Term.t
