sig
  val has_replacement : string -> bool
  val replacement_name : string -> string
end