module G to get rid of

# 37 "first_order/first_order_parser.dyp"

open Signature
open Formula
module Parser : functor (S:SIGNATURE) -> sig
module G :  module type of (Formula(S))

# 10                 "first_order/first_order_parser.mli"
      type ('dypgen__Obj_formula, 'dypgen__Obj_main, 'dypgen__Obj_term) obj =
          Lexeme_matched of string
        | Obj___dypgen_layout
        | Obj_formula of 'dypgen__Obj_formula
        | Obj_main of 'dypgen__Obj_main
        | Obj_term of 'dypgen__Obj_term
        | Dypgen__dummy_obj_cons

val main :
        ?global_data:unit ->
        ?local_data:unit ->
        (G.formula, G.formula, G.term) obj Dyp.dyplexbuf ->
        (G.formula * string) list


# 44 "first_order/first_order_parser.dyp"

val formula_from_string : string -> Formula(S).formula
end

# 31                 "first_order/first_order_parser.mli"