object
  method apply :
    string ->
    Model_parser.concrete_syntax_term list ->
    Model_parser.concrete_syntax_term option
  method binop :
    Model_parser.concrete_syntax_binop ->
    Model_parser.concrete_syntax_term ->
    Model_parser.concrete_syntax_term ->
    Model_parser.concrete_syntax_term option
  method bitvector :
    Model_parser.concrete_syntax_bv ->
    Model_parser.concrete_syntax_term option
  method boolean : bool -> Model_parser.concrete_syntax_term option
  method cond :
    Model_parser.concrete_syntax_term ->
    Model_parser.concrete_syntax_term ->
    Model_parser.concrete_syntax_term ->
    Model_parser.concrete_syntax_term option
  method const :
    Model_parser.concrete_syntax_constant ->
    Model_parser.concrete_syntax_term option
  method element :
    Model_parser.model_element -> Model_parser.model_element option
  method epsilon :
    string ->
    Model_parser.concrete_syntax_term ->
    Model_parser.concrete_syntax_term option
  method float :
    Model_parser.concrete_syntax_float ->
    Model_parser.concrete_syntax_term option
  method fraction :
    Model_parser.concrete_syntax_frac ->
    Model_parser.concrete_syntax_term option
  method func :
    string list ->
    Model_parser.concrete_syntax_term ->
    Model_parser.concrete_syntax_term option
  method funliteral :
    Model_parser.concrete_syntax_funlit_elts list ->
    Model_parser.concrete_syntax_term ->
    Model_parser.concrete_syntax_term option
  method integer :
    Model_parser.concrete_syntax_int ->
    Model_parser.concrete_syntax_term option
  method lett :
    (string * Model_parser.concrete_syntax_term) list ->
    Model_parser.concrete_syntax_term ->
    Model_parser.concrete_syntax_term option
  method model : Model_parser.model -> Model_parser.model
  method neg :
    Model_parser.concrete_syntax_term ->
    Model_parser.concrete_syntax_term option
  method proj :
    string ->
    Model_parser.concrete_syntax_term ->
    Model_parser.concrete_syntax_term option
  method quant :
    Model_parser.concrete_syntax_quant ->
    string list ->
    Model_parser.concrete_syntax_term ->
    Model_parser.concrete_syntax_term option
  method real :
    Model_parser.concrete_syntax_real ->
    Model_parser.concrete_syntax_term option
  method record :
    (string * Model_parser.concrete_syntax_term) list ->
    Model_parser.concrete_syntax_term option
  method string : string -> Model_parser.concrete_syntax_term option
  method value :
    Model_parser.concrete_syntax_term ->
    Model_parser.concrete_syntax_term option
  method var : string -> Model_parser.concrete_syntax_term option
end