type t

val make : string -> t
val extract : t -> string
val concat : t -> t -> t