sig
  val char : string -> char
  val string : ?strict:unit -> string -> string
end