sig
  val typing_cst : Symbols.eva_symbol_list -> Clause.clause list
  val typing_intruder : Clause.clause
  val typing_val : Symbols.eva_symbol_list -> Clause.clause list
  val typing_emptylist : Clause.clause
  val typing_cons : Clause.clause
  val typing_app : Symbols.eva_symbol_list -> Clause.clause list
  val typing_vanilla : Clause.clause list
  val typing_algo : Clause.clause list
  val typing_crypt_algo : Clause.clause
  val typing_P : Clause.clause
  val typing_A : Clause.clause
  val typing_SA : Clause.clause
  val typing_AA : Clause.clause
  val typing_U : Symbols.eva_symbol_list -> Clause.clause list
  val horn_signature : Symbols.eva_symbol_list -> Clause.clause list
end