val pp : Format.formatter -> view -> unit