module Annot:sig..end
type layer_info = {
|
innermost : |
|
outermost : |
typetag =[ `Start of string | `Stop ] * (Lexing.position * layer_info)
typefilter =[ `All | `Innermost | `Outermost ]
val parse : impl_file:string -> annot_file:string -> tag listval guess_annot_file : string -> string optionval from_file : impl_file:string -> annot_file:string -> tag list option