Skip to content
Fetching contributors…
Cannot retrieve contributors at this time
13 lines (10 sloc) 404 Bytes
(* Maintains a typing environment synchronized with a chunk history *)
type state = Env.t * (Typedtree.structure * Types.signature) list * exn list
type item = Chunk.sync * state
type sync = item History.sync
type t = item History.t
val initial_env : unit -> Env.t
val env : t -> Env.t
val trees : t -> (Typedtree.structure * Types.signature) list
val exns : t -> exn list
val sync : Chunk.t -> t -> t
Jump to Line
Something went wrong with that request. Please try again.