Searched defs:TypeSubst (Results 1 – 5 of 5) sorted by relevance
| /dports/misc/tvm/incubator-tvm-0.6.1/src/relay/pass/ |
| H A D | util.cc | 405 Type TypeSubst(const Type& type, const TypeVar& tvar, const Type& subst) { in TypeSubst() function
409 Expr TypeSubst(const Expr& expr, const TypeVar& tvar, const Type& subst) { in TypeSubst() function
413 Type TypeSubst(const Type& type, const tvm::Map<TypeVar, Type>& subst_map) { in TypeSubst() function
417 Expr TypeSubst(const Expr& expr, const tvm::Map<TypeVar, Type>& subst_map) { in TypeSubst() function
|
| /dports/misc/py-tvm/incubator-tvm-0.6.1/src/relay/pass/ |
| H A D | util.cc | 405 Type TypeSubst(const Type& type, const TypeVar& tvar, const Type& subst) { in TypeSubst() function
409 Expr TypeSubst(const Expr& expr, const TypeVar& tvar, const Type& subst) { in TypeSubst() function
413 Type TypeSubst(const Type& type, const tvm::Map<TypeVar, Type>& subst_map) { in TypeSubst() function
417 Expr TypeSubst(const Expr& expr, const tvm::Map<TypeVar, Type>& subst_map) { in TypeSubst() function
|
| /dports/misc/mxnet/incubator-mxnet-1.9.0/3rdparty/tvm/src/relay/analysis/ |
| H A D | util.cc | 416 Type TypeSubst(const Type& type, const TypeVar& tvar, const Type& subst) { in TypeSubst() function
420 Expr TypeSubst(const Expr& expr, const TypeVar& tvar, const Type& subst) { in TypeSubst() function
424 Type TypeSubst(const Type& type, const tvm::Map<TypeVar, Type>& subst_map) { in TypeSubst() function
428 Expr TypeSubst(const Expr& expr, const tvm::Map<TypeVar, Type>& subst_map) { in TypeSubst() function
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/generic-deriving-1.14/src/Generics/Deriving/TH/ |
| H A D | Internal.hs | 43 type TypeSubst = Map Name Type type
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/generic-deriving-1.13.1/src/Generics/Deriving/TH/ |
| H A D | Internal.hs | 42 type TypeSubst = Map Name Type type
|