sig
  exception Translator_error of string * Location.location
  val symbollist_of_spec : Abstract.eva_spec -> Symbols.eva_symbol_list
  val convert_lterm :
    Symbols.eva_symbol_list -> Abstract.eva_lterm -> Abstract.eva_lterm
  val convert_ldcl :
    Symbols.eva_symbol_list -> Abstract.eva_ldcl -> Abstract.eva_ldcl
  val convert_lstatement :
    Symbols.eva_symbol_list ->
    Abstract.eva_lstatement -> Abstract.eva_lstatement
  val convert_spec :
    Symbols.eva_symbol_list -> Abstract.eva_spec -> Abstract.eva_spec
  val term_VALUE : int
  val term_CST : int
  val term_PARAM : int
  val term_PRIV : int
  val term_PCENT : int
  val term_AT : int
  val term_FO : int
  val term_FUN : int
  val term_KEY : int
  val term_ALIAS : int
  val term_QUANTIF : int
  val term_ALL : int
  val check_ltype :
    Symbols.eva_symbol_list -> Abstract.eva_ltype -> Abstract.eva_ltype
  val check_lterm :
    int list ->
    Symbols.eva_symbol_list -> Abstract.eva_lterm -> Abstract.eva_lterm
  val check_spec :
    Symbols.eva_symbol_list -> Abstract.eva_spec -> Abstract.eva_spec
  val check_linstr :
    Symbols.eva_symbol_list -> Abstract.eva_linstr -> Abstract.eva_linstr
  val check_instrs_spec :
    Symbols.eva_symbol_list -> Abstract.eva_spec -> Abstract.eva_spec
  val translate :
    Symbols.eva_symbol_list -> Abstract.eva_spec -> Abstract.eva_spec
end