module Utils: sig
.. end
val find_player_in_role : int -> int
val is_intruder : int -> bool
val insert_with_no_copy : 'a -> 'a list -> 'a list
val remove_duplicate : 'a list -> 'a list
val concatenate_with_no_copy : 'a list -> 'a list -> 'a list
val partial_map : ('a -> 'b) -> 'a list -> 'b list
val variable_in_term_type_to_variable_global_id : int -> Types.atoms_type Types.term_structure -> int
val get_value : int -> Types.if_value_type
val find_function_value : Types.if_value_type -> Types.if_value_type list -> Types.if_value_type
val get_if_value_type : int -> Types.atoms_type Types.term_structure -> Types.if_value_type
val term_to_type : Types.atoms_type Types.term_structure -> Types.term_type
val if_term_to_type : Types.if_value_type -> Types.term_type
val var_id_to_type : int -> Types.term_type
val hlpsl_variable_to_global_var_id : int -> < get_id : int; .. > -> int
val vars_consts_from_term : 'a Types.term_structure -> 'a Types.term_structure list
val vars_consts_from_IF_term : Types.if_term -> Types.atoms_type Types.term_structure list
val vars_consts_from_LTL_goal : Types.ltl_type -> Types.atoms_type Types.term_structure list