Make_persistent_state.Token
type t
The type of element annotated with a location.
type location
The type of location annotation.
val location : t -> location
location e is the location of e.
location e
e