diffast-langs-verilog-parsing 0.1.1

include MenhirLib.IncrementalEngine.INCREMENTAL_ENGINE with type token = token

type token = token

type production

type 'a env

type 'a checkpoint = private

| InputNeeded of 'a env
| Shifting of 'a env * 'a env * bool
| AboutToReduce of 'a env * production
| HandlingError of 'a env
| Accepted of 'a
| Rejected

val offer : 
  'a checkpoint ->
  (token
   * MenhirLib.IncrementalEngine.position
   * MenhirLib.IncrementalEngine.position) ->
  'a checkpoint

type strategy = [

| `Legacy
| `Simplified

]

val resume : ?strategy:strategy -> 'a checkpoint -> 'a checkpoint

type supplier =
  unit ->
  token
  * MenhirLib.IncrementalEngine.position
  * MenhirLib.IncrementalEngine.position

val lexer_lexbuf_to_supplier : 
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  supplier

val loop : ?strategy:strategy -> supplier -> 'a checkpoint -> 'a

val loop_handle : 
  ('a -> 'answer) ->
  ('a checkpoint -> 'answer) ->
  supplier ->
  'a checkpoint ->
  'answer

val loop_handle_undo : 
  ('a -> 'answer) ->
  ('a checkpoint -> 'a checkpoint -> 'answer) ->
  supplier ->
  'a checkpoint ->
  'answer

val shifts : 'a checkpoint -> 'a env option

val acceptable : 
  'a checkpoint ->
  token ->
  MenhirLib.IncrementalEngine.position ->
  bool

type 'a lr1state

val number : _ lr1state -> int

val production_index : production -> int

val find_production : int -> production

type element =

| Element : 'a lr1state * 'a * MenhirLib.IncrementalEngine.position * MenhirLib.IncrementalEngine.position -> element

type stack = element MenhirLib.General.stream

val stack : 'a env -> stack

val top : 'a env -> element option

val pop_many : int -> 'a env -> 'a env option

val get : int -> 'a env -> element option

val current_state_number : 'a env -> int

val equal : 'a env -> 'a env -> bool

val positions : 
  'a env ->
  MenhirLib.IncrementalEngine.position * MenhirLib.IncrementalEngine.position

val env_has_default_reduction : 'a env -> bool

val state_has_default_reduction : _ lr1state -> bool

val pop : 'a env -> 'a env option

val force_reduction : production -> 'a env -> 'a env

val input_needed : 'a env -> 'a checkpoint

type 'a terminal = 'a Verilog_parsing.Tokens_.MenhirInterpreter.terminal

type _ nonterminal =

| N_weight_specification : Ast.node nonterminal
| N_variable_lvalue_list : Ast.node list nonterminal
| N_variable_lvalue_conc_list : Ast.node list nonterminal
| N_variable_lvalue : Ast.node nonterminal
| N_variable_dimension_list_ : Ast.node list nonterminal
| N_variable_dimension_list : Ast.node list nonterminal
| N_variable_dimension : Ast.node nonterminal
| N_variable_decl_expr : Ast.node nonterminal
| N_variable_decl_assignment_list : Ast.node list nonterminal
| N_variable_decl_assignment : Ast.node nonterminal
| N_var_param_reset : unit nonterminal
| N_var_local_param_reset : unit nonterminal
| N_var_data_type : Ast.node nonterminal
| N_value_range_list : Ast.node list nonterminal
| N_value_range : Ast.node nonterminal
| N_use_clause : Ast.node nonterminal
| N_unique_priority_opt : Ast.node list nonterminal
| N_udp_reg_declaration : Ast.node nonterminal
| N_udp_ports_star : Ast.node nonterminal
| N_udp_port_list : Ast.node list nonterminal
| N_udp_port_declaration_list_ : Ast.node list nonterminal
| N_udp_port_declaration_list : Ast.node nonterminal
| N_udp_port_declaration : Ast.node nonterminal
| N_udp_output_declaration : Ast.node nonterminal
| N_udp_nonansi_declaration : Ast.node nonterminal
| N_udp_input_declaration : Ast.node nonterminal
| N_udp_initial_stmt : Ast.node nonterminal
| N_udp_declaration_ports : Ast.node nonterminal
| N_udp_declaration_port_list : Ast.node list nonterminal
| N_udp_declaration : Ast.node nonterminal
| N_udp_body : Ast.node nonterminal
| N_udp_ansi_declaration : Ast.node nonterminal
| N_type_reference : Ast.node nonterminal
| N_type_declaration_ : Ast.node nonterminal
| N_type_declaration : Ast.node nonterminal
| N_trans_set : Ast.node nonterminal
| N_trans_range_list : Ast.node nonterminal
| N_trans_list : Ast.node list nonterminal
| N_trans_item : Ast.node nonterminal
| N_timing_check_event_control : Ast.node nonterminal
| N_timing_check_event : Ast.node nonterminal
| N_timing_check_condition : Ast.node nonterminal
| N_timing_check2_ : Labels.TimingCheck.t nonterminal
| N_timing_check2 : Ast.node nonterminal
| N_timing_check1_ : Labels.TimingCheck.t nonterminal
| N_timing_check1 : Ast.node nonterminal
| N_timing_check0_ : Labels.TimingCheck.t nonterminal
| N_timing_check0 : Ast.node nonterminal
| N_timeunits_declaration : Ast.node nonterminal
| N_timeskew_rest : Ast.node list nonterminal
| N_tf_variable_identifier_list : Ast.node list nonterminal
| N_tf_variable_identifier : Ast.node nonterminal
| N_tf_port_list_part : Ast.node nonterminal
| N_tf_port_list_opt : Ast.node list nonterminal
| N_tf_port_list_list : Ast.node list nonterminal
| N_tf_port_item_head : Ast.node list nonterminal
| N_tf_port_item_dir : Ast.node nonterminal
| N_tf_port_item_assignment : Ast.node nonterminal
| N_tf_port_item : Ast.node list nonterminal
| N_tf_port_declaration : Ast.node nonterminal
| N_tf_part_pure_v : Ast.node list nonterminal
| N_tf_part : Ast.node list nonterminal
| N_tf_item_declaration_list : Ast.node list nonterminal
| N_tf_item_declaration : Ast.node nonterminal
| N_tf_id_scoped : Ast.node nonterminal
| N_task_subroutine_call_no_method : Ast.node nonterminal
| N_task_prototype : Ast.node nonterminal
| N_task_kw : unit nonterminal
| N_task_id : Ast.node nonterminal
| N_task_declaration : Ast.node nonterminal
| N_tagged_opt : Ast.node list nonterminal
| N_system_timing_check : Ast.node nonterminal
| N_system_t_call : Ast.node nonterminal
| N_system_f_call : Ast.node nonterminal
| N_systask : Labels.SystemTask.t nonterminal
| N_svkw_arrayed_ : (string * Ast.node list) nonterminal
| N_svkw_arrayed : Ast.node nonterminal
| N_struct_union_member_list : Ast.node list nonterminal
| N_struct_union_member : Ast.node nonterminal
| N_string_literal : string nonterminal
| N_strength_spec_opt : Ast.node list nonterminal
| N_strength_spec : Ast.node nonterminal
| N_strength : Ast.node nonterminal
| N_streaming_concatenation : Ast.node nonterminal
| N_stream_expression_list : Ast.node list nonterminal
| N_stream_expression : Ast.node nonterminal
| N_stream_concatenation : Ast.node nonterminal
| N_stream_conc_or_expr_or_type : Ast.node list nonterminal
| N_str_as_int : string nonterminal
| N_stmt_non_block : Ast.node nonterminal
| N_stmt_list : Ast.node list nonterminal
| N_stmt_block_only : Ast.node nonterminal
| N_stmt_block_act : Ast.node nonterminal
| N_stmt_block : Ast.node nonterminal
| N_stmt : Ast.node nonterminal
| N_statement_item_non_block : Ast.node nonterminal
| N_statement_item_block_act_case : Ast.node nonterminal
| N_statement_item_block_act : Ast.node nonterminal
| N_statement_item_block : Ast.node nonterminal
| N_state_push : unit nonterminal
| N_state_pop : unit nonterminal
| N_state_dependent_path_declaration : Ast.node nonterminal
| N_specparam_declaration : Ast.node nonterminal
| N_specparam_assignment_list : Ast.node list nonterminal
| N_specparam_assignment : Ast.node nonterminal
| N_specify_terminal_descriptor : Ast.node nonterminal
| N_specify_item_list : Ast.node list nonterminal
| N_specify_item : Ast.node nonterminal
| N_specify_block : Ast.node nonterminal
| N_source_text : Ast.node nonterminal
| N_solve_before_primary : Ast.node nonterminal
| N_solve_before_list : Ast.node list nonterminal
| N_solve_before : Ast.node nonterminal
| N_sinc_or_dec_expression : Ast.node nonterminal
| N_simple_type : Ast.node nonterminal
| N_simple_path_declaration : Ast.node nonterminal
| N_simple_immediate_assertion_statement : Ast.node nonterminal
| N_signing : Ast.node nonterminal
| N_showcancelled_declaration : Ast.node nonterminal
| N_sexpr_scope : Ast.node nonterminal
| N_sexpr_ok_lvalue : Ast.node nonterminal
| N_sexpr : Ast.node nonterminal
| N_setuphold_rest : Ast.node list nonterminal
| N_sequential_entry_list : Ast.node list nonterminal
| N_sequential_entry : Ast.node nonterminal
| N_sequential_body : Ast.node nonterminal
| N_sequence_port_list_opt : Ast.node list nonterminal
| N_sequence_match_item_list : Ast.node list nonterminal
| N_sequence_match_item : Ast.node nonterminal
| N_sequence_formal_type_no_data_type : Ast.node nonterminal
| N_sequence_declaration_head : string nonterminal
| N_sequence_declaration_body : Ast.node nonterminal
| N_sequence_declaration : Ast.node nonterminal
| N_seq_block_head : Labels.Statement.t nonterminal
| N_seq_block_act : Ast.node nonterminal
| N_seq_block0_act : Ast.node nonterminal
| N_seq_block0 : Ast.node nonterminal
| N_seq_block : Ast.node nonterminal
| N_select_expression : Ast.node nonterminal
| N_select_condition : Ast.node nonterminal
| N_select_bins_or_empty : Ast.node nonterminal
| N_scalar_timing_check_condition : Ast.node nonterminal
| N_rs_rule_list : Ast.node list nonterminal
| N_rs_rule : Ast.node nonterminal
| N_rs_production_list : Ast.node nonterminal
| N_rs_prod_list : Ast.node list nonterminal
| N_rs_prod : Ast.node nonterminal
| N_rs_code_block_item_list : Ast.node list nonterminal
| N_rs_code_block_item : Ast.node nonterminal
| N_rs_code_block : Ast.node nonterminal
| N_rs_case_item_list : Ast.node list nonterminal
| N_rs_case_item : Ast.node nonterminal
| N_repeat_range : Ast.node nonterminal
| N_range_list_ : Ast.node list nonterminal
| N_range_list : Ast.node list nonterminal
| N_randsequence_statement : Ast.node nonterminal
| N_random_qualifier_opt : Ast.node list nonterminal
| N_random_qualifier : Ast.node nonterminal
| N_pure : Ast.node nonterminal
| N_pulsestyle_declaration : Ast.node nonterminal
| N_ps_type : (Ast.node list * string) nonterminal
| N_ps_id_etc : (Ast.node list * string) nonterminal
| N_ps_covergroup_identifier : Ast.node nonterminal
| N_property_statement_spec : Ast.node nonterminal
| N_property_statement_case_if : Ast.node nonterminal
| N_property_statement : Ast.node nonterminal
| N_property_spec : Ast.node nonterminal
| N_property_port_list : Ast.node list nonterminal
| N_property_port_item_head : Ast.node list nonterminal
| N_property_port_item_assignment : Ast.node nonterminal
| N_property_port_item : Ast.node nonterminal
| N_property_formal_type_no_data_type : Ast.node nonterminal
| N_property_declaration_head : string nonterminal
| N_property_declaration_body : Ast.node nonterminal
| N_property_declaration : Ast.node nonterminal
| N_property_case_item_list : Ast.node list nonterminal
| N_property_case_item : Ast.node nonterminal
| N_property_actual_arg : Ast.node nonterminal
| N_program_item_list_opt : Ast.node list nonterminal
| N_program_item_list : Ast.node list nonterminal
| N_program_item : Ast.node nonterminal
| N_program_generate_item : Ast.node nonterminal
| N_program_declaration_head2 : ((Ast.node list * string) * Ast.node list) nonterminal
| N_program_declaration_head : (Ast.node list * string) nonterminal
| N_program_declaration : Ast.node nonterminal
| N_production_list : Ast.node list nonterminal
| N_production_item_list : Ast.node list nonterminal
| N_production_item : Ast.node nonterminal
| N_production_head : (Ast.node list * string * Ast.node list) nonterminal
| N_production : Ast.node nonterminal
| N_procedural_assertion_statement : Ast.node nonterminal
| N_pragma_value : Ast.node nonterminal
| N_pragma_expression_list : Ast.node list nonterminal
| N_pragma_expression : Ast.node nonterminal
| N_pp_token : unit nonterminal
| N_pp_fragment : unit nonterminal
| N_pp_content : unit nonterminal
| N_pp_branch_ : unit nonterminal
| N_pp_branch : unit nonterminal
| N_port_sig : string nonterminal
| N_port_id_list : Ast.node list nonterminal
| N_port_direction_reset_ : Labels.PortDirection.t nonterminal
| N_port_direction_reset : Ast.node nonterminal
| N_port_direction_ : Labels.PortDirection.t nonterminal
| N_port_direction : Ast.node nonterminal
| N_port_dir_net_opt : Ast.node list nonterminal
| N_port_declaration_ : Ast.node list nonterminal
| N_port_declaration : Ast.node nonterminal
| N_port_decl_net_opt : Ast.node list nonterminal
| N_port_assign_expr_opt : Ast.node list nonterminal
| N_port : Ast.node nonterminal
| N_polarity_operator : Ast.node nonterminal
| N_pinc_or_dec_expression : Ast.node nonterminal
| N_pexpr_scope : Ast.node nonterminal
| N_pexpr_ok_lvalue : Ast.node nonterminal
| N_pexpr : Ast.node nonterminal
| N_pev_inc_or_dec_expression : Ast.node nonterminal
| N_pev_expr_scope : Ast.node nonterminal
| N_pev_expr_ok_lvalue : Ast.node nonterminal
| N_pev_expr : Ast.node nonterminal
| N_pev_argument_list_opt : Ast.node list nonterminal
| N_pev_args_expr_opt : Ast.node list nonterminal
| N_pev_args_expr_list_opt : Ast.node list nonterminal
| N_pev_args_dotted_list : Ast.node list nonterminal
| N_pev_args_dotted : Ast.node nonterminal
| N_pattern_no_expr : Ast.node nonterminal
| N_pattern_member_list : Ast.node list nonterminal
| N_pattern_list : Ast.node list nonterminal
| N_pattern_key : Ast.node nonterminal
| N_pattern : Ast.node nonterminal
| N_path_list : Ast.node list nonterminal
| N_path_delay_value : Ast.node nonterminal
| N_path_delay_expression_list : Ast.node list nonterminal
| N_path_declaration : Ast.node nonterminal
| N_partial_pev_expr : Ast.partial nonterminal
| N_partial_module_item_list : Ast.partial nonterminal
| N_partial_list_of_ports : Ast.partial nonterminal
| N_partial_gen_item_list : Ast.partial nonterminal
| N_partial_expr : Ast.partial nonterminal
| N_partial_ev_expr : Ast.partial nonterminal
| N_partial_description_list : Ast.partial nonterminal
| N_partial_cellpin_list : Ast.partial nonterminal
| N_partial_case_item_list : Ast.partial nonterminal
| N_partial_case_inside_item_list : Ast.partial nonterminal
| N_partial_block_decl_stmt_list : Ast.partial nonterminal
| N_parameter_value_assignment_opt_cellpin_list_head : unit nonterminal
| N_parameter_port_declaration_head : Ast.node list nonterminal
| N_parameter_override : Ast.node nonterminal
| N_parameter_declaration_head : Ast.node list nonterminal
| N_parameter_declaration : Ast.node nonterminal
| N_param_port_decl_or_arg_list : Ast.node list nonterminal
| N_param_port_decl_or_arg : Ast.node nonterminal
| N_param_assignments : Ast.node nonterminal
| N_param_assignment_list : Ast.node list nonterminal
| N_param_assignment : Ast.node nonterminal
| N_parallel_path_description : Ast.node nonterminal
| N_parallel_edge_sensitive_path_description : Ast.node nonterminal
| N_par_block_head : string nonterminal
| N_par_block_act : Ast.node nonterminal
| N_par_block0_act : Ast.node nonterminal
| N_par_block0 : Ast.node nonterminal
| N_par_block : Ast.node nonterminal
| N_packed_signing_opt : (Ast.node list * Ast.node list) nonterminal
| N_packed_dimension_list : Ast.node list nonterminal
| N_packed_dimension : Ast.node nonterminal
| N_package_scope_id_follows_opt : Ast.node list nonterminal
| N_package_scope_id_follows : Ast.node nonterminal
| N_package_or_generate_item_declaration : Ast.node nonterminal
| N_package_item_list_opt : Ast.node list nonterminal
| N_package_item_list : Ast.node list nonterminal
| N_package_item : Ast.node nonterminal
| N_package_import_item_obj : Ast.node nonterminal
| N_package_import_item_list : Ast.node list nonterminal
| N_package_import_item : Ast.node nonterminal
| N_package_import_declaration_list_ : Ast.node list nonterminal
| N_package_import_declaration_list : Ast.node list nonterminal
| N_package_import_declaration_head : Ast.node nonterminal
| N_package_import_declaration : Ast.node nonterminal
| N_package_export_declaration : Ast.node nonterminal
| N_package_declaration_head : (Ast.node list * string) nonterminal
| N_package_declaration : Ast.node nonterminal
| N_overload_proto_formal_list : Ast.node list nonterminal
| N_overload_operator : Labels.OverloadOperator.t nonterminal
| N_overload_declaration : Ast.node nonterminal
| N_output_symbol : Ast.node nonterminal
| N_operator_assignment : Ast.node nonterminal
| N_open_value_range : Ast.node nonterminal
| N_open_range_list : Ast.node list nonterminal
| N_notifier_opt : Ast.node list nonterminal
| N_non_port_program_item : Ast.node nonterminal
| N_non_port_module_item : Ast.node nonterminal
| N_non_integer_type : Labels.DataType.t nonterminal
| N_next_state : Ast.node nonterminal
| N_net_type_ : Labels.NetType.t nonterminal
| N_net_type : Ast.node nonterminal
| N_net_sig_list : Ast.node list nonterminal
| N_net_sig : Ast.node nonterminal
| N_net_scalared_opt : Ast.node list nonterminal
| N_net_id : string nonterminal
| N_net_declaration_head : (Lexing.position * Ast.node * Ast.node list * Ast.node list * Ast.node list) nonterminal
| N_net_declaration : Ast.node nonterminal
| N_net_decl_reset : unit nonterminal
| N_net_decl_assignments : Ast.node nonterminal
| N_net_data_type : Ast.node list nonterminal
| N_nb_assign_postfix_opt : Ast.node list nonterminal
| N_module_or_generate_item_declaration : Ast.node nonterminal
| N_module_or_generate_item : Ast.node nonterminal
| N_module_item_tail : unit nonterminal
| N_module_item_list_opt : Ast.node list nonterminal
| N_module_item_list : Ast.node list nonterminal
| N_module_item : Ast.node nonterminal
| N_module_declaration_head2 : (Labels.ModuleSpec.t * Ast.node list * string * Ast.node list * Ast.node list) nonterminal
| N_module_declaration_head1 : ((Labels.ModuleSpec.t * Ast.node list * string) * Ast.node list) nonterminal
| N_module_declaration_head : (Labels.ModuleSpec.t * Ast.node list * string) nonterminal
| N_module_declaration_ : Ast.node nonterminal
| N_module_declaration : Ast.node nonterminal
| N_module_common_item : Ast.node nonterminal
| N_modport_tf_port : Ast.node nonterminal
| N_modport_simple_port : Ast.node nonterminal
| N_modport_ports_decl_list : Ast.node list nonterminal
| N_modport_ports_decl : Ast.node nonterminal
| N_modport_item_list : Ast.node list nonterminal
| N_modport_item : Ast.node nonterminal
| N_modport_id_head : string nonterminal
| N_modport_declaration : Ast.node nonterminal
| N_mintypmax_without_paren : Ast.node nonterminal
| N_min_type_max_opt : Ast.node list nonterminal
| N_min_type_max : Ast.node nonterminal
| N_method_prototype : Ast.node nonterminal
| N_member_qual_reset_list_opt : Ast.node list nonterminal
| N_member_qual_list : Ast.node list nonterminal
| N_member_qual : Ast.node nonterminal
| N_main : Ast.node nonterminal
| N_loop_variable_list : Ast.node list nonterminal
| N_loop_generate_construct : Ast.node nonterminal
| N_local_parameter_declaration_head : Ast.node list nonterminal
| N_local_parameter_declaration : Ast.node nonterminal
| N_list_of_ports_opt : Ast.node list nonterminal
| N_lifetime : Ast.node nonterminal
| N_library_text : Ast.node nonterminal
| N_library_map : Ast.node nonterminal
| N_library_identifier_list : Ast.node list nonterminal
| N_library_description_list : Ast.node list nonterminal
| N_library_description : Ast.node nonterminal
| N_library_declaration : Ast.node nonterminal
| N_liblist_clause : Ast.node nonterminal
| N_level_symbol : Ast.node nonterminal
| N_level_input_list : Ast.node list nonterminal
| N_let_port_list_opt : Ast.node list nonterminal
| N_let_declaration_head : string nonterminal
| N_let_declaration : Ast.node nonterminal
| N_join_kw : unit nonterminal
| N_interface_port_head : Ast.node nonterminal
| N_interface_or_generate_item : Ast.node nonterminal
| N_interface_item_list_opt : Ast.node list nonterminal
| N_interface_item_list : Ast.node list nonterminal
| N_interface_item : Ast.node nonterminal
| N_interface_declaration_head2 : ((Ast.node list * string) * Ast.node list) nonterminal
| N_interface_declaration_head : (Ast.node list * string) nonterminal
| N_interface_declaration : Ast.node nonterminal
| N_integral_number : string nonterminal
| N_integer_vector_type : Labels.DataType.t nonterminal
| N_integer_atom_type : Labels.DataType.t nonterminal
| N_instname_paren : Ast.node nonterminal
| N_instname_list : Ast.node list nonterminal
| N_instname0 : (Label.t * Ast.node list) nonterminal
| N_instname : (Label.t * Ast.node list) nonterminal
| N_instance_name : Ast.node nonterminal
| N_inst_name : Label.t nonterminal
| N_inst_clause : Ast.node nonterminal
| N_inside_kw : unit nonterminal
| N_input_or_output_identifier : Ast.node nonterminal
| N_initial_construct : Ast.node nonterminal
| N_include_statement : Ast.node nonterminal
| N_inc_or_dec_expression_non_mintypmax : Ast.node nonterminal
| N_inc_or_dec_expression : Ast.node nonterminal
| N_immediate_assertion_statement : Ast.node nonterminal
| N_id_svkw_arrayed : Ast.node nonterminal
| N_id_foreach_ : (string * Ast.node list) nonterminal
| N_id_foreach : Ast.node nonterminal
| N_id_dotted_rest : Ast.node list nonterminal
| N_id_dotted_foreach_rest : Ast.node list nonterminal
| N_id_dotted_foreach : Ast.node list nonterminal
| N_id_dotted : Ast.node list nonterminal
| N_id_class_sel : Ast.node nonterminal
| N_id_class_foreach : Ast.node nonterminal
| N_id_arrayed_ : (string * Ast.node list) nonterminal
| N_id_arrayed : Ast.node nonterminal
| N_id_any : string nonterminal
| N_id_SV_keyword : string nonterminal
| N_id : string nonterminal
| N_hierarchical_identifier_list : Ast.node list nonterminal
| N_hierarchical_identifier_bit : Ast.node nonterminal
| N_hierarchical_identifier : Ast.node nonterminal
| N_hierarchical_btf_identifier : Ast.node nonterminal
| N_global : Ast.node nonterminal
| N_genvar_iteration : Ast.node nonterminal
| N_genvar_initialization : Ast.node nonterminal
| N_genvar_identifier_list : Ast.node list nonterminal
| N_genvar_identifier_decl : Ast.node nonterminal
| N_genvar_declaration : Ast.node nonterminal
| N_generate_region : Ast.node nonterminal
| N_generate_item : Ast.node nonterminal
| N_generate_block : Ast.node nonterminal
| N_generate0 : unit nonterminal
| N_gen_top_block : Ast.node list nonterminal
| N_gen_item_list : Ast.node list nonterminal
| N_gen_item_begin : Ast.node nonterminal
| N_gate_keyword : Labels.Gate.t nonterminal
| N_function_subroutine_call_no_method : Ast.node nonterminal
| N_function_prototype : Ast.node nonterminal
| N_function_kw : unit nonterminal
| N_function_head_new : (Ast.node list * Ast.node) nonterminal
| N_function_head : (Ast.node list * Ast.node * string) nonterminal
| N_function_declaration : Ast.node nonterminal
| N_function_data_type : Ast.node nonterminal
| N_func_ref : Ast.node nonterminal
| N_func_id_new : Ast.node nonterminal
| N_func_id : Ast.node nonterminal
| N_full_path_description : Ast.node nonterminal
| N_full_edge_sensitive_path_description : Ast.node nonterminal
| N_fork_kw : unit nonterminal
| N_fork0 : unit nonterminal
| N_for_step_opt : Ast.node list nonterminal
| N_for_step_assignment : Ast.node nonterminal
| N_for_step : Ast.node list nonterminal
| N_for_initialization_item_list : Ast.node list nonterminal
| N_for_initialization_item : Ast.node nonterminal
| N_for_initialization : Ast.node nonterminal
| N_foperator_assignment : Ast.node nonterminal
| N_finc_or_dec_expression : Ast.node nonterminal
| N_final_construct : Ast.node nonterminal
| N_file_path_spec_list : Ast.node list nonterminal
| N_file_path_spec : Ast.node nonterminal
| N_file_path : string nonterminal
| N_fexpr_scope : Ast.node nonterminal
| N_fexpr_ok_lvalue : Ast.node nonterminal
| N_fexpr_lvalue : Ast.node nonterminal
| N_fexpr : Ast.node nonterminal
| N_extern_tf_declaration : Ast.node nonterminal
| N_extern_constraint_declaration : Ast.node nonterminal
| N_extern : Ast.node nonterminal
| N_expr_scope : Ast.node nonterminal
| N_expr_or_data_type_list : Ast.node list nonterminal
| N_expr_or_data_type : Ast.node nonterminal
| N_expr_ok_lvalue : Ast.node nonterminal
| N_expr_non_mintypmax_scope : Ast.node nonterminal
| N_expr_non_mintypmax_ok_lvalue : Ast.node nonterminal
| N_expr_non_mintypmax : Ast.node nonterminal
| N_expr_lvalue : Ast.node nonterminal
| N_expr : Ast.node nonterminal
| N_expect_property_statement : Ast.node nonterminal
| N_event_control : Ast.node nonterminal
| N_event_base_flag_opt : Ast.node list nonterminal
| N_ev_inc_or_dec_expression : Ast.node nonterminal
| N_ev_expr_scope : Ast.node nonterminal
| N_ev_expr_ok_lvalue : Ast.node nonterminal
| N_ev_expr_list : Ast.node list nonterminal
| N_ev_expr : Ast.node nonterminal
| N_etc_inst0 : Ast.node nonterminal
| N_etc_inst : Ast.node nonterminal
| N_enum_name_range_opt : Ast.node list nonterminal
| N_enum_name_list : Ast.node list nonterminal
| N_enum_name_declaration : Ast.node nonterminal
| N_enum_declaration : Ast.node nonterminal
| N_enum_base_type_opt : Ast.node list nonterminal
| N_end_kw : unit nonterminal
| N_elaboration_system_task : Ast.node nonterminal
| N_edge_symbol : Ast.node nonterminal
| N_edge_sensitive_path_declaration : Ast.node nonterminal
| N_edge_input_list : Ast.node list nonterminal
| N_edge_indicator : Ast.node nonterminal
| N_edge_identifier : Ast.node nonterminal
| N_edge_descriptor_list : Ast.node list nonterminal
| N_edge_descriptor : Ast.node nonterminal
| N_edge_control_specifier : Ast.node nonterminal
| N_dynamic_array_new : Ast.node nonterminal
| N_dpi_tf_import_property_opt : Ast.node list nonterminal
| N_dpi_import_label_opt : Ast.node list nonterminal
| N_dpi_import_export : Ast.node nonterminal
| N_dist_list : Ast.node list nonterminal
| N_dist_item : Ast.node nonterminal
| N_design_statement : Ast.node nonterminal
| N_description_list : Ast.node list nonterminal
| N_description : Ast.node nonterminal
| N_delayed : Ast.node nonterminal
| N_delay_value : Ast.node nonterminal
| N_delay_or_event_control_opt : Ast.node list nonterminal
| N_delay_expr : Ast.node nonterminal
| N_delay_control : Ast.node nonterminal
| N_defparam_assignment_list : Ast.node list nonterminal
| N_defparam_assignment : Ast.node nonterminal
| N_deffered_immediate_assertion_item : Ast.node nonterminal
| N_deferred_immediate_assertion_statement : Ast.node nonterminal
| N_default_skew : Ast.node nonterminal
| N_default : Ast.node nonterminal
| N_data_type_var : Ast.node nonterminal
| N_data_type_or_void : Ast.node nonterminal
| N_data_type : Ast.node nonterminal
| N_data_declaration_var_head_class : Ast.node list nonterminal
| N_data_declaration_var_head : Ast.node list nonterminal
| N_data_declaration_var_class : Ast.node nonterminal
| N_data_declaration_var : Ast.node nonterminal
| N_data_declaration : Ast.node nonterminal
| N_cycle_delay_range : Ast.node nonterminal
| N_cycle_delay_const_range_expression : Ast.node nonterminal
| N_cycle_delay : Ast.node nonterminal
| N_current_state : Ast.node nonterminal
| N_cross_item_list : Ast.node list nonterminal
| N_cross_item : Ast.node nonterminal
| N_coverpoints_list : Ast.node list nonterminal
| N_covergroup_declaration_head : string nonterminal
| N_covergroup_declaration : Ast.node nonterminal
| N_coverage_spec_or_option_list_opt : Ast.node list nonterminal
| N_coverage_spec_or_option_list : Ast.node list nonterminal
| N_coverage_spec_or_option : Ast.node nonterminal
| N_coverage_option : Ast.node nonterminal
| N_coverage_event_opt : Ast.node list nonterminal
| N_cover_point : Ast.node nonterminal
| N_cover_cross : Ast.node nonterminal
| N_continuous_assign : Ast.node nonterminal
| N_constraint_static_opt : Ast.node list nonterminal
| N_constraint_set : Ast.node nonterminal
| N_constraint_expression_list : Ast.node list nonterminal
| N_constraint_expression : Ast.node nonterminal
| N_constraint_block_item_list : Ast.node list nonterminal
| N_constraint_block_item : Ast.node nonterminal
| N_constraint_block : Ast.node nonterminal
| N_constant_range : Ast.node nonterminal
| N_const_or_range_expression : Ast.node nonterminal
| N_const_opt : Ast.node list nonterminal
| N_const_expr : Ast.node nonterminal
| N_const : Ast.node nonterminal
| N_config_rule_statement_list_opt : Ast.node list nonterminal
| N_config_rule_statement_list : Ast.node list nonterminal
| N_config_rule_statement : Ast.node nonterminal
| N_config_declaration : Ast.node nonterminal
| N_conditional_generate_construct : Ast.node nonterminal
| N_concurrent_assertion_statement : Ast.node nonterminal
| N_concurrent_assertion_item : Ast.node nonterminal
| N_compiler_directive_full : Ast.node nonterminal
| N_compiler_directive : Ast.node nonterminal
| N_comma_notifier_opt : Ast.node list nonterminal
| N_combinational_entry_list : Ast.node list nonterminal
| N_combinational_entry : Ast.node nonterminal
| N_combinational_body : Ast.node nonterminal
| N_colon_config : Ast.node nonterminal
| N_clocking_skew : Ast.node nonterminal
| N_clocking_item_list_opt : Ast.node list nonterminal
| N_clocking_item_list : Ast.node list nonterminal
| N_clocking_item : Ast.node nonterminal
| N_clocking_head : (Ast.node list * string) nonterminal
| N_clocking_event : Ast.node nonterminal
| N_clocking_direction : Ast.node nonterminal
| N_clocking_declaration : Ast.node nonterminal
| N_clocking_decl_assign_list : Ast.node list nonterminal
| N_clocking_decl_assign : Ast.node nonterminal
| N_class_virtual_opt : Ast.node list nonterminal
| N_class_type_without_id : Ast.node list nonterminal
| N_class_type_list_colon_id_follows : Ast.node list nonterminal
| N_class_type_list : Ast.node list nonterminal
| N_class_type : Ast.node nonterminal
| N_class_scope_without_id : Ast.node list nonterminal
| N_class_scope_type : (Ast.node list * string) nonterminal
| N_class_scope_id_follows : Ast.node list nonterminal
| N_class_scope_id : Ast.node nonterminal
| N_class_property : Ast.node nonterminal
| N_class_new : Ast.node nonterminal
| N_class_method : Ast.node nonterminal
| N_class_item_qualifier : Ast.node nonterminal
| N_class_item_list_opt : Ast.node list nonterminal
| N_class_item_list : Ast.node list nonterminal
| N_class_item : Ast.node nonterminal
| N_class_extends_opt : Ast.node list nonterminal
| N_class_declaration_head : (Ast.node list * Ast.node list * string) nonterminal
| N_class_declaration : Ast.node nonterminal
| N_class_constructor_prototype : Ast.node nonterminal
| N_class_constraint : Ast.node nonterminal
| N_checker_port_list_opt : Ast.node list nonterminal
| N_checker_or_generate_item_list_opt : Ast.node list nonterminal
| N_checker_or_generate_item_list : Ast.node list nonterminal
| N_checker_or_generate_item_declaration : Ast.node nonterminal
| N_checker_or_generate_item : Ast.node nonterminal
| N_checker_instantiation_head : (string * Ast.node) nonterminal
| N_checker_instantiation_ : Ast.node nonterminal
| N_checker_instantiation : Ast.node nonterminal
| N_checker_head : string nonterminal
| N_checker_generate_item : Ast.node nonterminal
| N_checker_declaration : Ast.node nonterminal
| N_cellpin_list : Ast.node list nonterminal
| N_cellpin_item_list : Ast.node list nonterminal
| N_cellpin_item : Ast.node nonterminal
| N_cell_name_list : Ast.node list nonterminal
| N_cell_name : Ast.node nonterminal
| N_cell_clause : Ast.node nonterminal
| N_cate_list : Ast.node list nonterminal
| N_casting_type : Ast.node nonterminal
| N_case_start0 : Ast.node nonterminal
| N_case_start : Ast.node nonterminal
| N_case_pattern_list_opt : Ast.node list nonterminal
| N_case_pattern_head0 : (Ast.node * Lexing.position) nonterminal
| N_case_pattern_head : (Ast.node * Lexing.position) nonterminal
| N_case_item_list : Ast.node list nonterminal
| N_case_item : Ast.node nonterminal
| N_case_inside_list_opt : Ast.node list nonterminal
| N_case_inside_item_list : Ast.node list nonterminal
| N_case_inside_item : Ast.node nonterminal
| N_case_inside_head0 : (Ast.node * Lexing.position) nonterminal
| N_case_inside_head : (Ast.node * Lexing.position) nonterminal
| N_case_generate_item_list : Ast.node list nonterminal
| N_case_generate_item : Ast.node nonterminal
| N_case_cond_list_ : Ast.node list nonterminal
| N_case_cond_list : Ast.node list nonterminal
| N_case_attr_opt : Ast.node list nonterminal
| N_c_loop_generate_construct : Ast.node nonterminal
| N_c_generate_region : Ast.node nonterminal
| N_c_generate_item : Ast.node nonterminal
| N_c_generate_block : Ast.node nonterminal
| N_c_gen_top_block : Ast.node list nonterminal
| N_c_gen_item_list : Ast.node list nonterminal
| N_c_gen_item_begin : Ast.node nonterminal
| N_c_conditional_generate_construct : Ast.node nonterminal
| N_c_case_generate_item_list : Ast.node list nonterminal
| N_c_case_generate_item : Ast.node nonterminal
| N_boolean_abbrev : Ast.node nonterminal
| N_block_item_declaration_list : Ast.node list nonterminal
| N_block_item_declaration : Ast.node nonterminal
| N_block_event_expression_term : Ast.node nonterminal
| N_block_event_expression : Ast.node nonterminal
| N_block_decl_stmt_list : Ast.node list nonterminal
| N_bit_select_opt : Ast.node list nonterminal
| N_bins_selection_or_option_semi_list : Ast.node list nonterminal
| N_bins_selection_or_option : Ast.node nonterminal
| N_bins_selection : Ast.node nonterminal
| N_bins_or_options_list : Ast.node list nonterminal
| N_bins_or_options : Ast.node nonterminal
| N_bins_or_empty : Ast.node nonterminal
| N_bins_keyword : Labels.BinsSpec.t nonterminal
| N_bins_expression : Ast.node nonterminal
| N_bind_target_instance_list : Ast.node list nonterminal
| N_bind_target_instance : Ast.node nonterminal
| N_bind_instantiation : Ast.node nonterminal
| N_bind_directive : Ast.node nonterminal
| N_begin_kw : unit nonterminal
| N_begin0 : unit nonterminal
| N_attribute_instances : Ast.node nonterminal
| N_attribute_instance_list_opt : Ast.node list nonterminal
| N_attribute_instance_list : Ast.node list nonterminal
| N_attribute_instance : Ast.node nonterminal
| N_attr_spec_list : Ast.node list nonterminal
| N_attr_spec : Ast.node nonterminal
| N_assignment_pattern : Ast.node nonterminal
| N_assign_list : Ast.node list nonterminal
| N_assign : Ast.node nonterminal
| N_assertion_variable_declaration_list : Ast.node list nonterminal
| N_assertion_variable_declaration : Ast.node nonterminal
| N_assertion_item_declaration : Ast.node nonterminal
| N_assertion_item : Ast.node nonterminal
| N_array_method_no_root : Ast.node nonterminal
| N_array_method_name_no_id : Labels.Expression.t nonterminal
| N_argument_list_opt : Ast.node list nonterminal
| N_args_expr_opt : Ast.node list nonterminal
| N_args_expr_list_opt : Ast.node list nonterminal
| N_args_expr_list : Ast.node list nonterminal
| N_args_dotted_list : Ast.node list nonterminal
| N_args_dotted : Ast.node nonterminal
| N_any_range : Ast.node nonterminal
| N_anonymous_program_item_list_opt : Ast.node list nonterminal
| N_anonymous_program_item_list : Ast.node list nonterminal
| N_anonymous_program_item : Ast.node nonterminal
| N_anonymous_program : Ast.node nonterminal
| N_always_construct : Ast.node nonterminal
| N_alias_eq_list : Ast.node list nonterminal
| N_action_block : Ast.node nonterminal
| N__pev_expr : Ast.node nonterminal
| N__id_SV_keyword : string nonterminal
| N__expr : Ast.node nonterminal
| N__ev_expr : Ast.node nonterminal

include MenhirLib.IncrementalEngine.INSPECTION
  with type 'a lr1state := 'a lr1state
  with type production := production
  with type 'a terminal := 'a terminal
  with type 'a nonterminal := 'a nonterminal
  with type 'a env := 'a env

include MenhirLib.IncrementalEngine.SYMBOLS
  with type 'a terminal := 'a terminal
  with type 'a nonterminal := 'a nonterminal

type 'a symbol =

| T : 'a terminal -> 'a symbol
| N : 'a nonterminal -> 'a symbol

type xsymbol =

| X : 'a symbol -> xsymbol

type item = production * int

val compare_terminals : _ terminal -> _ terminal -> int

val compare_nonterminals : _ nonterminal -> _ nonterminal -> int

val compare_symbols : xsymbol -> xsymbol -> int

val compare_productions : production -> production -> int

val compare_items : item -> item -> int

val incoming_symbol : 'a lr1state -> 'a symbol

val items : _ lr1state -> item list

val lhs : production -> xsymbol

val rhs : production -> xsymbol list

val nullable : _ nonterminal -> bool

val first : _ nonterminal -> _ terminal -> bool

val xfirst : xsymbol -> _ terminal -> bool

val foreach_terminal : (xsymbol -> 'a -> 'a) -> 'a -> 'a

val foreach_terminal_but_error : (xsymbol -> 'a -> 'a) -> 'a -> 'a

val feed : 
  'a symbol ->
  MenhirLib.IncrementalEngine.position ->
  'a ->
  MenhirLib.IncrementalEngine.position ->
  'b env ->
  'b env

package diffast-langs-verilog-parsing