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