portia

Literate Programming Preprocessor
IN THIS PACKAGE
type location = {
file : string;
mtime : float;
lineno : int;
colno : int;
offset : int;
size : int;
}
type id = string
type t = {
locs : location list;
id : id;
output : bool;
}
val colno_at : string -> int
val lineno_at : int -> string -> int
val read_file : string -> int -> int -> string
val location_in_file : string -> int -> int -> location
val location_print : 'a BatInnerIO.output -> location -> unit
val mtime_print : ( Batteries.Float.t, 'a ) BatIO.printer
val locations_print : 'a BatInnerIO.output -> location list -> unit
val print : 'a BatInnerIO.output -> t -> unit
exception FileChanged of string
val fetch_loc : location -> string
val ignore_missing : bool Batteries.ref
val registry : ( id, t ) Batteries.Hashtbl.t
val add : id -> bool -> string -> int -> int -> unit
val lookup : id -> t
val linenum : int -> string -> string
val expanded_loc : location -> string
val expanded_body : t -> string