sig type state val finalize : Pretty_source.Locs.state -> unit end