Module IndexScope

type t
val empty : t

The empty scope

type env =
  1. | Alias of string * string list
  2. | Open of string list

The type of gathered information within a scope

val read : ?line:int -> ?column:int -> in_channel -> t

Compute the environment from an input channel, at an optional position or at EOF

val read_string : string -> t

Compute the environment from a string

val fold : ('a -> t -> Approx_lexer.token -> (int * int * int) -> 'a) -> 'a -> ?init:env list -> ?stop:(Lexing.position -> bool) -> in_channel -> 'a

Lower-level function for processing on the environment at every token. The position is given in the form (line, column, length)

val fold_string : ('a -> t -> Approx_lexer.token -> (int * int * int) -> 'a) -> 'a -> ?init:env list -> ?stop:(Lexing.position -> bool) -> string -> 'a

The same from a string

val to_list : t -> env list

Returns the env declarations in scope t, in source file order