Bindoj_base (bindoj.Bindoj

module StringMap = Bindoj_runtime.StringMap

module Type_desc = Bindoj_typedesc.Type_desc

module Typed_type_desc = Bindoj_typedesc.Typed_type_desc

module Runtime = Bindoj_runtime

type tdenv = Typed_type_desc.tdenv

val empty_tdenv : Typed_type_desc.Type_decl_environment.env