Module Nls_docSource

Sourcetype statement = {
  1. sid : int;
  2. text : string;
  3. children : statement list;
}
Sourcetype t = {
  1. statements : statement list;
  2. next_sid : int;
}
Sourceval of_outline : (int * string) list -> t
Sourceval get : t -> int -> statement option
Sourceval number : t -> int -> string option
Sourceval name_of : string -> string option
Sourceval find : t -> string -> int option
Sourcetype where =
  1. | After
  2. | Down
  3. | Up
Sourceval insert : t -> target:int -> where -> string -> t * int
Sourceval set_text : t -> int -> string -> t
Sourceval delete : t -> int -> t
Sourceval move : t -> int -> target:int -> where -> t option
Sourceval copy : t -> int -> target:int -> where -> t option
Sourceval visible : t -> levels:int option -> (statement * int) list
Sourceval word_at : string -> int -> (int * int) option