sig
  exception Alias_error of string * Location.location
  val has_alias : Symbols.eva_symbol_list -> Abstract.eva_lterm -> bool
  val unalias_lterm :
    Symbols.eva_symbol_list -> Abstract.eva_lterm -> Abstract.eva_lterm
  val unalias_ldcl :
    Symbols.eva_symbol_list -> Abstract.eva_ldcl -> Abstract.eva_ldcl
  val unalias_dcl :
    Symbols.eva_symbol_list -> Abstract.eva_dcl -> Abstract.eva_dcl
  val unalias_spec :
    Symbols.eva_symbol_list -> Abstract.eva_spec -> Abstract.eva_spec
end