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