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