functor (M : S) ->
  sig
    type stringable = M.sexpable
    val of_string : string -> stringable
    val to_string : stringable -> string
  end