Make.O
type out
type m
val empty : O.m
val concat : O.m -> O.m -> O.m
val put : string -> O.m
val make : O.m -> O.out