Module LazyCompiler


module LazyCompiler: sig .. end

type t 
val create : SrcTab.t -> t
val do_type : t -> CompUtils.fullid -> Lxm.t -> CompileData.type_eff
val do_prov_type : t -> CompUtils.fullid -> Lxm.t -> CompileData.type_eff
val do_node : t -> CompileData.node_key -> CompileData.node_eff
val test_types : t -> unit