sig
  exception Symbols_error of string
  exception Symbols_not_found
  exception Symbols_already of string
  type eva_symbol
  val new_first_order_symbol :
    string ->
    Abstract.eva_scope -> Abstract.eva_type -> bool -> Symbols.eva_symbol
  val new_functional_symbol :
    string ->
    Abstract.eva_scope ->
    Abstract.eva_type ->
    Abstract.eva_type list -> bool -> bool -> Symbols.eva_symbol
  val new_key_symbol :
    string ->
    Abstract.eva_scope ->
    Abstract.eva_type ->
    Abstract.eva_type list ->
    string -> Abstract.eva_algo -> Symbols.eva_symbol
  val new_value_symbol : string -> Abstract.eva_type -> Symbols.eva_symbol
  val intruder_symbol : Symbols.eva_symbol
  val new_alias_symbol : string -> Abstract.eva_lterm -> Symbols.eva_symbol
  val new_quantified_symbol :
    string -> Abstract.eva_type -> Symbols.eva_symbol
  val new_type_symbol : string -> bool -> Symbols.eva_symbol
  val new_predicate_symbol : string -> Symbols.eva_symbol
  val is_first_order : Symbols.eva_symbol -> bool
  val is_functional : Symbols.eva_symbol -> bool
  val is_key : Symbols.eva_symbol -> bool
  val is_value : Symbols.eva_symbol -> bool
  val is_intruder : Symbols.eva_symbol -> bool
  val is_quantified : Symbols.eva_symbol -> bool
  val is_alias : Symbols.eva_symbol -> bool
  val is_type : Symbols.eva_symbol -> bool
  val is_basetype : Symbols.eva_symbol -> bool
  val is_predicate : Symbols.eva_symbol -> bool
  val get_name : Symbols.eva_symbol -> string
  val get_type : Symbols.eva_symbol -> Abstract.eva_type
  val get_scope : Symbols.eva_symbol -> Abstract.eva_scope
  val get_fresh : Symbols.eva_symbol -> bool
  val get_hash : Symbols.eva_symbol -> bool
  val get_secret : Symbols.eva_symbol -> bool
  val get_signature : Symbols.eva_symbol -> Abstract.eva_type list
  val get_symkey : Symbols.eva_symbol -> string
  val get_algo : Symbols.eva_symbol -> Abstract.eva_algo
  val get_term : Symbols.eva_symbol -> Abstract.eva_lterm
  type eva_symbol_list
  val empty_symbol_list : Symbols.eva_symbol_list
  val memassoc_symbol : string -> Symbols.eva_symbol_list -> bool
  val assoc_symbol : string -> Symbols.eva_symbol_list -> Symbols.eva_symbol
  val append_symbol :
    Symbols.eva_symbol -> Symbols.eva_symbol_list -> Symbols.eva_symbol_list
  val add_symbol :
    Symbols.eva_symbol -> Symbols.eva_symbol_list -> Symbols.eva_symbol_list
  val overwrite_symbol :
    Symbols.eva_symbol -> Symbols.eva_symbol_list -> Symbols.eva_symbol_list
  val append_symbollist :
    Symbols.eva_symbol_list ->
    Symbols.eva_symbol_list -> Symbols.eva_symbol_list
  val overwrite_symbollist :
    Symbols.eva_symbol_list ->
    Symbols.eva_symbol_list -> Symbols.eva_symbol_list
  val symbol_list_length : Symbols.eva_symbol_list -> int
  val iter_symbollist :
    (Symbols.eva_symbol -> unit) -> Symbols.eva_symbol_list -> unit
  val map_symbollist :
    (Symbols.eva_symbol -> 'a) -> Symbols.eva_symbol_list -> 'a list
  val fold_left_symbollist :
    ('a -> Symbols.eva_symbol -> 'a) -> 'a -> Symbols.eva_symbol_list -> 'a
  val fold_right_symbollist :
    (Symbols.eva_symbol -> 'a -> 'a) -> Symbols.eva_symbol_list -> 'a -> 'a
end