sig
val
get_extension : string
->
string
end