type annotation =| Ti_pat of Typedtree.pattern| Ti_expr of Typedtree.expression| Ti_class of Typedtree.class_expr| Ti_mod of Typedtree.module_expr| An_call of Location.t * Annot.call| An_ident of Location.t * string * Annot.ident
val record : annotation -> unitval record_phrase : Location.t -> unitval dump : string option -> unitval get_location : annotation -> Location.tval get_info : unit -> annotation list