interpreter/text/annot.mli

type annot = annot' Source.phrase
and annot' = {name : Ast.name; items : item list}

and item = item' Source.phrase
and item' =
  | Atom of string
  | Var of string
  | String of string
  | Nat of string
  | Int of string
  | Float of string
  | Parens of item list
  | Annot of annot

module NameMap : Map.S with type key = Ast.name
type map = annot list NameMap.t

val reset : unit -> unit
val record : annot -> unit

val get : Source.region -> map
val get_all : unit -> map

val get_source : unit -> string
val extend_source : string -> unit