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