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