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