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