module Globals: sig
.. end
val lexbuf : Lexing.lexbuf Pervasives.ref
val string_id : Types.ident_table
val player_to_role : (int * int) list Pervasives.ref
val global_var_id : Types.global_var_ident_table
val memory_map : Types.memory_map_table
val type_table : Types.type_table_type
val value_table : Types.value_map_table
val intruder_name : string
val global_i : int
val dummy_values_string_list : (Types.basic_type * string) list
val is_dummy_term : Types.if_value_type -> bool
val global_start : int Pervasives.ref
val register_start : unit -> unit
val global_start_const : bool Pervasives.ref
val not_excluded_type : Types.basic_type Types.term_structure -> bool
val get_any_type_of : int -> Types.term_type
val flag_types : bool Pervasives.ref
val flag_init : bool Pervasives.ref
val flag_rules : bool Pervasives.ref
val flag_goals : bool Pervasives.ref
val flag_split : bool Pervasives.ref
val flag_stdout : bool Pervasives.ref
val flag_warnings : bool Pervasives.ref
val input_file : string Pervasives.ref
val output_dir : string Pervasives.ref
val output_file : string Pervasives.ref
val tmp_file : string Pervasives.ref
val tmp_channel : Pervasives.out_channel Pervasives.ref
val close_out_noerr : Pervasives.out_channel -> unit
val prout_endline : string -> unit
val prout_newline : unit -> unit
val prout_string : string -> unit
val prout_int : int -> unit
val current_role : int Pervasives.ref
val i_knowledge : Types.if_value_type list Pervasives.ref
val init_predicates : (Types.if_value_type * Types.if_value_type list) list Pervasives.ref
val debug_level : int Pervasives.ref
val sequential_transition_rules : (Types.if_state * Types.if_state) list Pervasives.ref