sig
  val parse_implem :
    ?directive_handler:(Camlp4.Sig.Ast.str_item ->
                        Camlp4.Sig.Ast.str_item option) ->
    Camlp4.Sig.Ast.loc -> char Stream.t -> Camlp4.Sig.Ast.str_item
  val parse_interf :
    ?directive_handler:(Camlp4.Sig.Ast.sig_item ->
                        Camlp4.Sig.Ast.sig_item option) ->
    Camlp4.Sig.Ast.loc -> char Stream.t -> Camlp4.Sig.Ast.sig_item
end