Module `Ocaml_typing.Stypes`

type annotation =

| Ti_pat : 'k Ocaml_typing.Typedtree.pattern_category * 'k Ocaml_typing.Typedtree.general_pattern -> Ocaml_typing.Stypes.annotation
| Ti_expr of Ocaml_typing.Typedtree.expression
| Ti_class of Ocaml_typing.Typedtree.class_expr
| Ti_mod of Ocaml_typing.Typedtree.module_expr
| An_call of Ocaml_parsing.Location.t * Ocaml_typing.Annot.call
| An_ident of Ocaml_parsing.Location.t * string * Ocaml_typing.Annot.ident

val record : Ocaml_typing.Stypes.annotation -> unit

val record_phrase : Ocaml_parsing.Location.t -> unit

val dump : string option -> unit

val get_location : Ocaml_typing.Stypes.annotation -> Ocaml_parsing.Location.t

val get_info : unit -> Ocaml_typing.Stypes.annotation list