module Utils_unify: sig
.. end
val protocol_names : string list Pervasives.ref
val nb_steps : int Pervasives.ref
val nb_help : string
val light_unif : bool Pervasives.ref
val light_help : string
val no_type : bool Pervasives.ref
val no_type_help : string
val topdown : bool Pervasives.ref
val td_help : string
val lr_help : string
val short_help : string
val out_to_file : bool Pervasives.ref
val ou_help : string
val simplifier : bool Pervasives.ref
val ns_help : string
val optimiser : bool Pervasives.ref
val opt_help : string
val noopt_help : string
val showtable : bool Pervasives.ref
val ta_help : string
val showparser : bool Pervasives.ref
val par_help : string
val verbose : bool Pervasives.ref
val verbose_help : string
val veryverbose : bool Pervasives.ref
val veryverbose_help : string
val no_execution : bool Pervasives.ref
val no_execution_help : string
val debug_read : bool Pervasives.ref
val debug_read_help : string
val outdir : string Pervasives.ref
val outdir_help : string
val bounded_search : bool Pervasives.ref
val benchmark : bool Pervasives.ref
val benchmark_help : string
val nosplit : bool Pervasives.ref
val nosplit_help : string
val column_nb : int Pervasives.ref
val column_nb_help : string
val states : bool Pervasives.ref
val states_help : string
val version_help : string
val licence_help : string
val properties : Types_unify.t_attack_state_goal list Pervasives.ref
val intru_store : Types_unify.term option Pervasives.ref
val intru : unit -> Types_unify.term
val localtab : Types_unify.tabletype Pervasives.ref
val localobjtype : (string * int) list Pervasives.ref
val localtabletype : (int * string) list Pervasives.ref
val role_table : (string * string) list Pervasives.ref
val not_forgeable : Types_unify.t_unforgeable Pervasives.ref
val total_states : int Pervasives.ref
val reachable_states : int Pervasives.ref
val states_per_dot : int Pervasives.ref
val time_sum : float Pervasives.ref
val maybe_sooner_present : bool Pervasives.ref
val token : int Pervasives.ref
val current_protocol : string Pervasives.ref
val initialisation : string -> unit
val merge : 'a list -> 'a list -> 'a list
val it_list : ('a -> 'b -> 'a) -> 'a -> 'b list -> 'a
val list_it : ('a -> 'b -> 'a) -> 'a -> 'b list -> 'a
val flat_map : ('a -> 'b list) -> 'a list -> 'b list
val rev_flat_map : ('a -> 'b list) -> 'b list -> 'a list -> 'b list
val it_list2 : ('a -> 'b -> 'c -> 'c) -> 'c -> 'c -> 'a list * 'b list -> 'c
val double : ('a -> 'b) -> 'a * 'a -> 'b * 'b
val not_filter : 'a list -> ('a -> bool) -> 'a list -> 'a list
val rev_iter : ('a -> 'b) -> 'a list -> unit
val replace : 'a -> 'a list -> 'a list -> 'a list
val insert : 'a -> 'a list -> 'a list
val union : 'a list -> 'a list -> 'a list
val set_minus : 'a list -> 'a list -> 'a list
val merge_first : 'a list -> ('a * 'b) list -> 'a list
val exp_inverse : Types_unify.sign -> Types_unify.sign
exception Contradiction_found
val add_to_po : Types_unify.t_po -> int -> int -> Types_unify.t_po
val get_majors : Types_unify.t_po -> int -> int list
val nb_AtmTypes : int
val create_number : int -> int -> int
val var_id : int -> int
val var_type : int -> int
val uper : int -> string
val add_trace : Types_unify.t_trace ->
string -> Types_unify.t_step -> Types_unify.t_trace -> Types_unify.t_trace