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