Source file parser.ml

module MenhirBasics = struct
  
  exception Error
  
  let _eRR =
    fun _s ->
      raise Error
  
  type token = 
    | UNARY of (
# 24 "lib/parser.mly"
       (Ty.t * Ty.unop)
# 15 "lib/parser.ml"
  )
    | TYPE of (
# 29 "lib/parser.mly"
       (Ty.t)
# 20 "lib/parser.ml"
  )
    | TERNARY of (
# 26 "lib/parser.mly"
       (Ty.t * Ty.triop)
# 25 "lib/parser.ml"
  )
    | SYMBOL of (
# 23 "lib/parser.mly"
       (string)
# 30 "lib/parser.ml"
  )
    | STR of (
# 22 "lib/parser.mly"
       (string)
# 35 "lib/parser.ml"
  )
    | RPAREN
    | RELOP of (
# 27 "lib/parser.mly"
       (Ty.t * Ty.relop)
# 41 "lib/parser.ml"
  )
    | NUM of (
# 19 "lib/parser.mly"
       (int)
# 46 "lib/parser.ml"
  )
    | LPAREN
    | GET_MODEL
    | EOF
    | DECLARE_FUN
    | DEC of (
# 20 "lib/parser.mly"
       (float)
# 55 "lib/parser.ml"
  )
    | CVTOP of (
# 28 "lib/parser.mly"
       (Ty.t * Ty.cvtop)
# 60 "lib/parser.ml"
  )
    | CHECK_SAT
    | BOOL of (
# 21 "lib/parser.mly"
       (bool)
# 66 "lib/parser.ml"
  )
    | BINARY of (
# 25 "lib/parser.mly"
       (Ty.t * Ty.binop)
# 71 "lib/parser.ml"
  )
    | ASSERT
  
end

include MenhirBasics

# 1 "lib/parser.mly"
  
open Value
open Ty
open Expr

let varmap = Hashtbl.create 512

let add_bind x t = Hashtbl.replace varmap x t
let get_bind x = Hashtbl.find varmap x


# 91 "lib/parser.ml"

type ('s, 'r) _menhir_state = 
  | MenhirState00 : ('s, _menhir_box_script) _menhir_state
    (** State 00.
        Stack shape : .
        Start symbol: script. *)

  | MenhirState10 : (('s, _menhir_box_script) _menhir_cell1_LPAREN, _menhir_box_script) _menhir_state
    (** State 10.
        Stack shape : LPAREN.
        Start symbol: script. *)

  | MenhirState15 : (('s, _menhir_box_script) _menhir_cell1_LPAREN _menhir_cell0_UNARY, _menhir_box_script) _menhir_state
    (** State 15.
        Stack shape : LPAREN UNARY.
        Start symbol: script. *)

  | MenhirState25 : (('s, _menhir_box_script) _menhir_cell1_LPAREN _menhir_cell0_TERNARY, _menhir_box_script) _menhir_state
    (** State 25.
        Stack shape : LPAREN TERNARY.
        Start symbol: script. *)

  | MenhirState26 : ((('s, _menhir_box_script) _menhir_cell1_LPAREN _menhir_cell0_TERNARY, _menhir_box_script) _menhir_cell1_s_expr, _menhir_box_script) _menhir_state
    (** State 26.
        Stack shape : LPAREN TERNARY s_expr.
        Start symbol: script. *)

  | MenhirState27 : (((('s, _menhir_box_script) _menhir_cell1_LPAREN _menhir_cell0_TERNARY, _menhir_box_script) _menhir_cell1_s_expr, _menhir_box_script) _menhir_cell1_s_expr, _menhir_box_script) _menhir_state
    (** State 27.
        Stack shape : LPAREN TERNARY s_expr s_expr.
        Start symbol: script. *)

  | MenhirState29 : (('s, _menhir_box_script) _menhir_cell1_LPAREN _menhir_cell0_RELOP, _menhir_box_script) _menhir_state
    (** State 29.
        Stack shape : LPAREN RELOP.
        Start symbol: script. *)

  | MenhirState30 : ((('s, _menhir_box_script) _menhir_cell1_LPAREN _menhir_cell0_RELOP, _menhir_box_script) _menhir_cell1_s_expr, _menhir_box_script) _menhir_state
    (** State 30.
        Stack shape : LPAREN RELOP s_expr.
        Start symbol: script. *)

  | MenhirState32 : (('s, _menhir_box_script) _menhir_cell1_LPAREN _menhir_cell0_CVTOP, _menhir_box_script) _menhir_state
    (** State 32.
        Stack shape : LPAREN CVTOP.
        Start symbol: script. *)

  | MenhirState34 : (('s, _menhir_box_script) _menhir_cell1_LPAREN _menhir_cell0_BINARY, _menhir_box_script) _menhir_state
    (** State 34.
        Stack shape : LPAREN BINARY.
        Start symbol: script. *)

  | MenhirState35 : ((('s, _menhir_box_script) _menhir_cell1_LPAREN _menhir_cell0_BINARY, _menhir_box_script) _menhir_cell1_s_expr, _menhir_box_script) _menhir_state
    (** State 35.
        Stack shape : LPAREN BINARY s_expr.
        Start symbol: script. *)

  | MenhirState41 : (('s, _menhir_box_script) _menhir_cell1_stmt, _menhir_box_script) _menhir_state
    (** State 41.
        Stack shape : stmt.
        Start symbol: script. *)


and ('s, 'r) _menhir_cell1_s_expr = 
  | MenhirCell1_s_expr of 's * ('s, 'r) _menhir_state * (Expr.t)

and ('s, 'r) _menhir_cell1_stmt = 
  | MenhirCell1_stmt of 's * ('s, 'r) _menhir_state * (Ast.t)

and 's _menhir_cell0_BINARY = 
  | MenhirCell0_BINARY of 's * (
# 25 "lib/parser.mly"
       (Ty.t * Ty.binop)
# 165 "lib/parser.ml"
)

and 's _menhir_cell0_CVTOP = 
  | MenhirCell0_CVTOP of 's * (
# 28 "lib/parser.mly"
       (Ty.t * Ty.cvtop)
# 172 "lib/parser.ml"
)

and ('s, 'r) _menhir_cell1_LPAREN = 
  | MenhirCell1_LPAREN of 's * ('s, 'r) _menhir_state

and 's _menhir_cell0_RELOP = 
  | MenhirCell0_RELOP of 's * (
# 27 "lib/parser.mly"
       (Ty.t * Ty.relop)
# 182 "lib/parser.ml"
)

and 's _menhir_cell0_TERNARY = 
  | MenhirCell0_TERNARY of 's * (
# 26 "lib/parser.mly"
       (Ty.t * Ty.triop)
# 189 "lib/parser.ml"
)

and 's _menhir_cell0_UNARY = 
  | MenhirCell0_UNARY of 's * (
# 24 "lib/parser.mly"
       (Ty.t * Ty.unop)
# 196 "lib/parser.ml"
)

and _menhir_box_script = 
  | MenhirBox_script of (Ast.t list) [@@unboxed]

let _menhir_action_01 =
  fun () ->
    (
# 216 "<standard.mly>"
    ( [] )
# 207 "lib/parser.ml"
     : (Ast.t list))

let _menhir_action_02 =
  fun x xs ->
    (
# 219 "<standard.mly>"
    ( x :: xs )
# 215 "lib/parser.ml"
     : (Ast.t list))

let _menhir_action_03 =
  fun _1 e ->
    let (ty, op) = _1 in
    (
# 53 "lib/parser.mly"
    ( Unop (op, e) @: ty )
# 224 "lib/parser.ml"
     : (Expr.t))

let _menhir_action_04 =
  fun _1 e1 e2 ->
    let (ty, op) = _1 in
    (
# 55 "lib/parser.mly"
    ( Binop (op, e1, e2) @: ty )
# 233 "lib/parser.ml"
     : (Expr.t))

let _menhir_action_05 =
  fun _1 e1 e2 e3 ->
    let (ty, op) = _1 in
    (
# 57 "lib/parser.mly"
    ( Triop (op, e1, e2, e3) @: ty )
# 242 "lib/parser.ml"
     : (Expr.t))

let _menhir_action_06 =
  fun _1 e ->
    let (ty, op) = _1 in
    (
# 59 "lib/parser.mly"
    ( Cvtop (op, e) @: ty )
# 251 "lib/parser.ml"
     : (Expr.t))

let _menhir_action_07 =
  fun _1 e1 e2 ->
    let (ty, op) = _1 in
    (
# 61 "lib/parser.mly"
    ( Relop (op, e1, e2) @: ty )
# 260 "lib/parser.ml"
     : (Expr.t))

let _menhir_action_08 =
  fun x ->
    (
# 47 "lib/parser.mly"
                ( mk_symbol @@ Symbol.mk_symbol (get_bind x) x )
# 268 "lib/parser.ml"
     : (Expr.t))

let _menhir_action_09 =
  fun c ->
    (
# 48 "lib/parser.mly"
                       ( Val c @: Value.type_of c )
# 276 "lib/parser.ml"
     : (Expr.t))

let _menhir_action_10 =
  fun _1 _3 op ->
    (
# 49 "lib/parser.mly"
                                   ( op )
# 284 "lib/parser.ml"
     : (Expr.t))

let _menhir_action_11 =
  fun _2 stmts ->
    (
# 34 "lib/parser.mly"
                                       ( stmts )
# 292 "lib/parser.ml"
     : (Ast.t list))

let _menhir_action_12 =
  fun x ->
    (
# 64 "lib/parser.mly"
             ( Int x )
# 300 "lib/parser.ml"
     : (Value.t))

let _menhir_action_13 =
  fun x ->
    (
# 65 "lib/parser.mly"
             ( Real x )
# 308 "lib/parser.ml"
     : (Value.t))

let _menhir_action_14 =
  fun x ->
    (
# 66 "lib/parser.mly"
             ( Str x )
# 316 "lib/parser.ml"
     : (Value.t))

let _menhir_action_15 =
  fun x ->
    (
# 67 "lib/parser.mly"
              ( if x then True else False )
# 324 "lib/parser.ml"
     : (Value.t))

let _menhir_action_16 =
  fun _1 _4 ty x ->
    (
# 69 "lib/parser.mly"
    (
      match ty with
      | Ty_bitv S32 -> Num (I32 (Int32.of_int x))
      | Ty_bitv S64 -> Num (I64 (Int64.of_int x))
      | _ -> failwith "invalid bitv type"
    )
# 337 "lib/parser.ml"
     : (Value.t))

let _menhir_action_17 =
  fun _1 _4 ty x ->
    (
# 76 "lib/parser.mly"
    (
      match ty with
      | Ty_fp S32 -> Num (F32 (Int32.bits_of_float x))
      | Ty_fp S64 -> Num (F64 (Int64.bits_of_float x))
      | _ -> failwith "invalid fp type"
    )
# 350 "lib/parser.ml"
     : (Value.t))

let _menhir_action_18 =
  fun _1 _2 _5 t x ->
    (
# 38 "lib/parser.mly"
    (
      add_bind x t;
      Ast.Declare (Symbol.mk_symbol t x)
    )
# 361 "lib/parser.ml"
     : (Ast.t))

let _menhir_action_19 =
  fun _1 _2 _4 e ->
    (
# 42 "lib/parser.mly"
                                        ( Ast.Assert e )
# 369 "lib/parser.ml"
     : (Ast.t))

let _menhir_action_20 =
  fun _1 _2 _3 ->
    (
# 43 "lib/parser.mly"
                               ( Ast.CheckSat )
# 377 "lib/parser.ml"
     : (Ast.t))

let _menhir_action_21 =
  fun _1 _2 _3 ->
    (
# 44 "lib/parser.mly"
                               ( Ast.GetModel )
# 385 "lib/parser.ml"
     : (Ast.t))

let _menhir_print_token : token -> string =
  fun _tok ->
    match _tok with
    | ASSERT ->
        "ASSERT"
    | BINARY _ ->
        "BINARY"
    | BOOL _ ->
        "BOOL"
    | CHECK_SAT ->
        "CHECK_SAT"
    | CVTOP _ ->
        "CVTOP"
    | DEC _ ->
        "DEC"
    | DECLARE_FUN ->
        "DECLARE_FUN"
    | EOF ->
        "EOF"
    | GET_MODEL ->
        "GET_MODEL"
    | LPAREN ->
        "LPAREN"
    | NUM _ ->
        "NUM"
    | RELOP _ ->
        "RELOP"
    | RPAREN ->
        "RPAREN"
    | STR _ ->
        "STR"
    | SYMBOL _ ->
        "SYMBOL"
    | TERNARY _ ->
        "TERNARY"
    | TYPE _ ->
        "TYPE"
    | UNARY _ ->
        "UNARY"

let _menhir_fail : unit -> 'a =
  fun () ->
    Printf.eprintf "Internal failure -- please contact the parser generator's developers.\n%!";
    assert false

include struct
  
  [@@@ocaml.warning "-4-37"]
  
  let _menhir_run_44 : type  ttv_stack. ttv_stack -> _ -> _menhir_box_script =
    fun _menhir_stack _v ->
      let (_2, stmts) = ((), _v) in
      let _v = _menhir_action_11 _2 stmts in
      MenhirBox_script _v
  
  let rec _menhir_run_42 : type  ttv_stack. (ttv_stack, _menhir_box_script) _menhir_cell1_stmt -> _ -> _menhir_box_script =
    fun _menhir_stack _v ->
      let MenhirCell1_stmt (_menhir_stack, _menhir_s, x) = _menhir_stack in
      let xs = _v in
      let _v = _menhir_action_02 x xs in
      _menhir_goto_list_stmt_ _menhir_stack _v _menhir_s
  
  and _menhir_goto_list_stmt_ : type  ttv_stack. ttv_stack -> _ -> (ttv_stack, _menhir_box_script) _menhir_state -> _menhir_box_script =
    fun _menhir_stack _v _menhir_s ->
      match _menhir_s with
      | MenhirState00 ->
          _menhir_run_44 _menhir_stack _v
      | MenhirState41 ->
          _menhir_run_42 _menhir_stack _v
      | _ ->
          _menhir_fail ()
  
  let rec _menhir_run_01 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_script) _menhir_state -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | GET_MODEL ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | RPAREN ->
              let _tok = _menhir_lexer _menhir_lexbuf in
              let (_3, _2, _1) = ((), (), ()) in
              let _v = _menhir_action_21 _1 _2 _3 in
              _menhir_goto_stmt _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
          | _ ->
              _eRR ())
      | DECLARE_FUN ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | SYMBOL _v ->
              let _tok = _menhir_lexer _menhir_lexbuf in
              (match (_tok : MenhirBasics.token) with
              | TYPE _v_0 ->
                  let _tok = _menhir_lexer _menhir_lexbuf in
                  (match (_tok : MenhirBasics.token) with
                  | RPAREN ->
                      let _tok = _menhir_lexer _menhir_lexbuf in
                      let (_2, _1, x, _5, t) = ((), (), _v, (), _v_0) in
                      let _v = _menhir_action_18 _1 _2 _5 t x in
                      _menhir_goto_stmt _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
                  | _ ->
                      _eRR ())
              | _ ->
                  _eRR ())
          | _ ->
              _eRR ())
      | CHECK_SAT ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | RPAREN ->
              let _tok = _menhir_lexer _menhir_lexbuf in
              let (_3, _2, _1) = ((), (), ()) in
              let _v = _menhir_action_20 _1 _2 _3 in
              _menhir_goto_stmt _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
          | _ ->
              _eRR ())
      | ASSERT ->
          let _menhir_stack = MenhirCell1_LPAREN (_menhir_stack, _menhir_s) in
          let _menhir_s = MenhirState10 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | SYMBOL _v ->
              _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | STR _v ->
              _menhir_run_12 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | NUM _v ->
              _menhir_run_13 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | LPAREN ->
              _menhir_run_14 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | DEC _v ->
              _menhir_run_16 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | BOOL _v ->
              _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | _ ->
              _eRR ())
      | _ ->
          _eRR ()
  
  and _menhir_goto_stmt : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_script) _menhir_state -> _ -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_stmt (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | LPAREN ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState41
      | EOF ->
          let _v_0 = _menhir_action_01 () in
          _menhir_run_42 _menhir_stack _v_0
      | _ ->
          _eRR ()
  
  and _menhir_run_11 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_script) _menhir_state -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let x = _v in
      let _v = _menhir_action_08 x in
      _menhir_goto_s_expr _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_s_expr : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_script) _menhir_state -> _ -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      match _menhir_s with
      | MenhirState10 ->
          _menhir_run_39 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState35 ->
          _menhir_run_36 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState34 ->
          _menhir_run_35 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState32 ->
          _menhir_run_33 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState30 ->
          _menhir_run_31 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState29 ->
          _menhir_run_30 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState27 ->
          _menhir_run_28 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | MenhirState26 ->
          _menhir_run_27 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState25 ->
          _menhir_run_26 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | MenhirState15 ->
          _menhir_run_19 _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
      | _ ->
          _menhir_fail ()
  
  and _menhir_run_39 : type  ttv_stack. (ttv_stack, _menhir_box_script) _menhir_cell1_LPAREN -> _ -> _ -> _ -> _ -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      match (_tok : MenhirBasics.token) with
      | RPAREN ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          let MenhirCell1_LPAREN (_menhir_stack, _menhir_s) = _menhir_stack in
          let (_2, _1, e, _4) = ((), (), _v, ()) in
          let _v = _menhir_action_19 _1 _2 _4 e in
          _menhir_goto_stmt _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_36 : type  ttv_stack. ((ttv_stack, _menhir_box_script) _menhir_cell1_LPAREN _menhir_cell0_BINARY, _menhir_box_script) _menhir_cell1_s_expr -> _ -> _ -> _ -> _ -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_s_expr (_menhir_stack, _, e1) = _menhir_stack in
      let MenhirCell0_BINARY (_menhir_stack, _1) = _menhir_stack in
      let e2 = _v in
      let _v = _menhir_action_04 _1 e1 e2 in
      _menhir_goto_paren_op _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
  
  and _menhir_goto_paren_op : type  ttv_stack. (ttv_stack, _menhir_box_script) _menhir_cell1_LPAREN -> _ -> _ -> _ -> _ -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      match (_tok : MenhirBasics.token) with
      | RPAREN ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          let MenhirCell1_LPAREN (_menhir_stack, _menhir_s) = _menhir_stack in
          let (_3, _1, op) = ((), (), _v) in
          let _v = _menhir_action_10 _1 _3 op in
          _menhir_goto_s_expr _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
      | _ ->
          _eRR ()
  
  and _menhir_run_35 : type  ttv_stack. ((ttv_stack, _menhir_box_script) _menhir_cell1_LPAREN _menhir_cell0_BINARY as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_script) _menhir_state -> _ -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_s_expr (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | SYMBOL _v_0 ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState35
      | STR _v_1 ->
          _menhir_run_12 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState35
      | NUM _v_2 ->
          _menhir_run_13 _menhir_stack _menhir_lexbuf _menhir_lexer _v_2 MenhirState35
      | LPAREN ->
          _menhir_run_14 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState35
      | DEC _v_3 ->
          _menhir_run_16 _menhir_stack _menhir_lexbuf _menhir_lexer _v_3 MenhirState35
      | BOOL _v_4 ->
          _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer _v_4 MenhirState35
      | _ ->
          _eRR ()
  
  and _menhir_run_12 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_script) _menhir_state -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let x = _v in
      let _v = _menhir_action_14 x in
      _menhir_goto_spec_constant _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_goto_spec_constant : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_script) _menhir_state -> _ -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let c = _v in
      let _v = _menhir_action_09 c in
      _menhir_goto_s_expr _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_13 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_script) _menhir_state -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let x = _v in
      let _v = _menhir_action_12 x in
      _menhir_goto_spec_constant _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_14 : type  ttv_stack. ttv_stack -> _ -> _ -> (ttv_stack, _menhir_box_script) _menhir_state -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | UNARY _v ->
          let _menhir_stack = MenhirCell1_LPAREN (_menhir_stack, _menhir_s) in
          let _menhir_stack = MenhirCell0_UNARY (_menhir_stack, _v) in
          let _menhir_s = MenhirState15 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | SYMBOL _v ->
              _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | STR _v ->
              _menhir_run_12 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | NUM _v ->
              _menhir_run_13 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | LPAREN ->
              _menhir_run_14 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | DEC _v ->
              _menhir_run_16 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | BOOL _v ->
              _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | _ ->
              _eRR ())
      | TYPE _v ->
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | NUM _v_5 ->
              let _tok = _menhir_lexer _menhir_lexbuf in
              (match (_tok : MenhirBasics.token) with
              | RPAREN ->
                  let _tok = _menhir_lexer _menhir_lexbuf in
                  let (_1, x, _4, ty) = ((), _v_5, (), _v) in
                  let _v = _menhir_action_16 _1 _4 ty x in
                  _menhir_goto_spec_constant _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
              | _ ->
                  _eRR ())
          | DEC _v_6 ->
              let _tok = _menhir_lexer _menhir_lexbuf in
              (match (_tok : MenhirBasics.token) with
              | RPAREN ->
                  let _tok = _menhir_lexer _menhir_lexbuf in
                  let (_1, x, _4, ty) = ((), _v_6, (), _v) in
                  let _v = _menhir_action_17 _1 _4 ty x in
                  _menhir_goto_spec_constant _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
              | _ ->
                  _eRR ())
          | _ ->
              _eRR ())
      | TERNARY _v ->
          let _menhir_stack = MenhirCell1_LPAREN (_menhir_stack, _menhir_s) in
          let _menhir_stack = MenhirCell0_TERNARY (_menhir_stack, _v) in
          let _menhir_s = MenhirState25 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | SYMBOL _v ->
              _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | STR _v ->
              _menhir_run_12 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | NUM _v ->
              _menhir_run_13 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | LPAREN ->
              _menhir_run_14 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | DEC _v ->
              _menhir_run_16 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | BOOL _v ->
              _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | _ ->
              _eRR ())
      | RELOP _v ->
          let _menhir_stack = MenhirCell1_LPAREN (_menhir_stack, _menhir_s) in
          let _menhir_stack = MenhirCell0_RELOP (_menhir_stack, _v) in
          let _menhir_s = MenhirState29 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | SYMBOL _v ->
              _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | STR _v ->
              _menhir_run_12 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | NUM _v ->
              _menhir_run_13 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | LPAREN ->
              _menhir_run_14 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | DEC _v ->
              _menhir_run_16 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | BOOL _v ->
              _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | _ ->
              _eRR ())
      | CVTOP _v ->
          let _menhir_stack = MenhirCell1_LPAREN (_menhir_stack, _menhir_s) in
          let _menhir_stack = MenhirCell0_CVTOP (_menhir_stack, _v) in
          let _menhir_s = MenhirState32 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | SYMBOL _v ->
              _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | STR _v ->
              _menhir_run_12 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | NUM _v ->
              _menhir_run_13 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | LPAREN ->
              _menhir_run_14 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | DEC _v ->
              _menhir_run_16 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | BOOL _v ->
              _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | _ ->
              _eRR ())
      | BINARY _v ->
          let _menhir_stack = MenhirCell1_LPAREN (_menhir_stack, _menhir_s) in
          let _menhir_stack = MenhirCell0_BINARY (_menhir_stack, _v) in
          let _menhir_s = MenhirState34 in
          let _tok = _menhir_lexer _menhir_lexbuf in
          (match (_tok : MenhirBasics.token) with
          | SYMBOL _v ->
              _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | STR _v ->
              _menhir_run_12 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | NUM _v ->
              _menhir_run_13 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | LPAREN ->
              _menhir_run_14 _menhir_stack _menhir_lexbuf _menhir_lexer _menhir_s
          | DEC _v ->
              _menhir_run_16 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | BOOL _v ->
              _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s
          | _ ->
              _eRR ())
      | _ ->
          _eRR ()
  
  and _menhir_run_16 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_script) _menhir_state -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let x = _v in
      let _v = _menhir_action_13 x in
      _menhir_goto_spec_constant _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_17 : type  ttv_stack. ttv_stack -> _ -> _ -> _ -> (ttv_stack, _menhir_box_script) _menhir_state -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      let x = _v in
      let _v = _menhir_action_15 x in
      _menhir_goto_spec_constant _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok
  
  and _menhir_run_33 : type  ttv_stack. (ttv_stack, _menhir_box_script) _menhir_cell1_LPAREN _menhir_cell0_CVTOP -> _ -> _ -> _ -> _ -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell0_CVTOP (_menhir_stack, _1) = _menhir_stack in
      let e = _v in
      let _v = _menhir_action_06 _1 e in
      _menhir_goto_paren_op _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
  
  and _menhir_run_31 : type  ttv_stack. ((ttv_stack, _menhir_box_script) _menhir_cell1_LPAREN _menhir_cell0_RELOP, _menhir_box_script) _menhir_cell1_s_expr -> _ -> _ -> _ -> _ -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_s_expr (_menhir_stack, _, e1) = _menhir_stack in
      let MenhirCell0_RELOP (_menhir_stack, _1) = _menhir_stack in
      let e2 = _v in
      let _v = _menhir_action_07 _1 e1 e2 in
      _menhir_goto_paren_op _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
  
  and _menhir_run_30 : type  ttv_stack. ((ttv_stack, _menhir_box_script) _menhir_cell1_LPAREN _menhir_cell0_RELOP as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_script) _menhir_state -> _ -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_s_expr (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | SYMBOL _v_0 ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState30
      | STR _v_1 ->
          _menhir_run_12 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState30
      | NUM _v_2 ->
          _menhir_run_13 _menhir_stack _menhir_lexbuf _menhir_lexer _v_2 MenhirState30
      | LPAREN ->
          _menhir_run_14 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState30
      | DEC _v_3 ->
          _menhir_run_16 _menhir_stack _menhir_lexbuf _menhir_lexer _v_3 MenhirState30
      | BOOL _v_4 ->
          _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer _v_4 MenhirState30
      | _ ->
          _eRR ()
  
  and _menhir_run_28 : type  ttv_stack. (((ttv_stack, _menhir_box_script) _menhir_cell1_LPAREN _menhir_cell0_TERNARY, _menhir_box_script) _menhir_cell1_s_expr, _menhir_box_script) _menhir_cell1_s_expr -> _ -> _ -> _ -> _ -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell1_s_expr (_menhir_stack, _, e2) = _menhir_stack in
      let MenhirCell1_s_expr (_menhir_stack, _, e1) = _menhir_stack in
      let MenhirCell0_TERNARY (_menhir_stack, _1) = _menhir_stack in
      let e3 = _v in
      let _v = _menhir_action_05 _1 e1 e2 e3 in
      _menhir_goto_paren_op _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
  
  and _menhir_run_27 : type  ttv_stack. (((ttv_stack, _menhir_box_script) _menhir_cell1_LPAREN _menhir_cell0_TERNARY, _menhir_box_script) _menhir_cell1_s_expr as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_script) _menhir_state -> _ -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_s_expr (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | SYMBOL _v_0 ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState27
      | STR _v_1 ->
          _menhir_run_12 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState27
      | NUM _v_2 ->
          _menhir_run_13 _menhir_stack _menhir_lexbuf _menhir_lexer _v_2 MenhirState27
      | LPAREN ->
          _menhir_run_14 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState27
      | DEC _v_3 ->
          _menhir_run_16 _menhir_stack _menhir_lexbuf _menhir_lexer _v_3 MenhirState27
      | BOOL _v_4 ->
          _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer _v_4 MenhirState27
      | _ ->
          _eRR ()
  
  and _menhir_run_26 : type  ttv_stack. ((ttv_stack, _menhir_box_script) _menhir_cell1_LPAREN _menhir_cell0_TERNARY as 'stack) -> _ -> _ -> _ -> ('stack, _menhir_box_script) _menhir_state -> _ -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _menhir_s _tok ->
      let _menhir_stack = MenhirCell1_s_expr (_menhir_stack, _menhir_s, _v) in
      match (_tok : MenhirBasics.token) with
      | SYMBOL _v_0 ->
          _menhir_run_11 _menhir_stack _menhir_lexbuf _menhir_lexer _v_0 MenhirState26
      | STR _v_1 ->
          _menhir_run_12 _menhir_stack _menhir_lexbuf _menhir_lexer _v_1 MenhirState26
      | NUM _v_2 ->
          _menhir_run_13 _menhir_stack _menhir_lexbuf _menhir_lexer _v_2 MenhirState26
      | LPAREN ->
          _menhir_run_14 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState26
      | DEC _v_3 ->
          _menhir_run_16 _menhir_stack _menhir_lexbuf _menhir_lexer _v_3 MenhirState26
      | BOOL _v_4 ->
          _menhir_run_17 _menhir_stack _menhir_lexbuf _menhir_lexer _v_4 MenhirState26
      | _ ->
          _eRR ()
  
  and _menhir_run_19 : type  ttv_stack. (ttv_stack, _menhir_box_script) _menhir_cell1_LPAREN _menhir_cell0_UNARY -> _ -> _ -> _ -> _ -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok ->
      let MenhirCell0_UNARY (_menhir_stack, _1) = _menhir_stack in
      let e = _v in
      let _v = _menhir_action_03 _1 e in
      _menhir_goto_paren_op _menhir_stack _menhir_lexbuf _menhir_lexer _v _tok
  
  let _menhir_run_00 : type  ttv_stack. ttv_stack -> _ -> _ -> _menhir_box_script =
    fun _menhir_stack _menhir_lexbuf _menhir_lexer ->
      let _tok = _menhir_lexer _menhir_lexbuf in
      match (_tok : MenhirBasics.token) with
      | LPAREN ->
          _menhir_run_01 _menhir_stack _menhir_lexbuf _menhir_lexer MenhirState00
      | EOF ->
          let _v = _menhir_action_01 () in
          _menhir_run_44 _menhir_stack _v
      | _ ->
          _eRR ()
  
end

let script =
  fun _menhir_lexer _menhir_lexbuf ->
    let _menhir_stack = () in
    let MenhirBox_script v = _menhir_run_00 _menhir_stack _menhir_lexbuf _menhir_lexer in
    v