object method output : (string -> unit) -> unit end