Module Ocaml_typing.Stypes

val record : annotation -> unit
val record_phrase : Ocaml_parsing.Location.t -> unit
val dump : string option -> unit
val get_location : annotation -> Ocaml_parsing.Location.t
val get_info : unit -> annotation list