sig
  val define_params : (Macro.param list -> unit) -> unit
  val define :
    (Macro.param list ->
     Camlp4.PreCast.Syntax.Ast.expr -> Camlp4.PreCast.Syntax.Ast.expr) ->
    unit
  val macro_expansion :
    (Camlp4.PreCast.Syntax.Ast.expr -> Camlp4.PreCast.Syntax.Ast.expr) ->
    unit
end