module type Output = sig .. end
sig
end
type out
type m
val empty : m
m
val concat : m -> m -> m
m -> m -> m
val put : string -> m
string -> m
val make : m -> out
m -> out