/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Termination/ |
H A D | Monad.hs | 445 let TelV tel core = telView' (defType pdef)
|
H A D | TermCheck.hs | 359 target <- liftTCM $ do typeEndsInDef . defType =<< getConstInfo name 431 let t = defType def
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/ |
H A D | Abstract.hs | 63 eqTy <- defType <$> getConstInfo eqName
|
H A D | Quote.hs | 305 TelV tel _ = telView' (defType def)
|
H A D | InstanceArguments.hs | 167 let t = defType def `piApply` args
|
H A D | Reduce.hs | 549 prp <- runBlocked $ isPropM $ defType info 1411 instantiateFull' def@Defn{ defType = t ,defDisplay = df, theDef = d } = do 1413 return $ def{ defType = t, defDisplay = df, theDef = d }
|
H A D | With.hs | 593 Defn {defType = ct, theDef = Constructor{conPars = np}} <- getConInfo c
|
/dports/math/vampire/vampire-4.5.1/Shell/ |
H A D | SimplifyProver.cpp | 159 defType(list,expr); in parse() 1078 void SimplifyProver::defType(const List* lst,const Expression* expr) in defType() function in SimplifyProver
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rules/ |
H A D | Record.hs | 88 t <- instantiateFull $ defType def
|
H A D | Data.hs | 69 t <- instantiateFull $ defType def 1194 let td = defType def
|
H A D | Builtin.hs | 713 TelV eqTel eqCore <- telView $ defType def 736 TelV conTel conCore <- telView $ defType cdef
|
/dports/net/traefik/traefik-2.6.1/vendor/github.com/traefik/yaegi/interp/ |
H A D | run.go | 1478 var defType reflect.Type 1480 defType = funcType.In(variadic) 1482 defType = funcType.In(rcvrOffset + i) 1533 values = append(values, genInterfaceWrapper(c, defType)) 1539 values = append(values, genInterfaceWrapper(c, defType)) 1544 values = append(values, genInterfaceWrapper(c, defType))
|
/dports/textproc/libwps/libwps-0.4.12/src/lib/ |
H A D | XYWrite.cpp | 962 auto defType=m_state->getFontType(); in update() local 969 libwps::appendUnicode(uint32_t(libwps_tools_win::Font::unicode(ch, defType)), in update()
|
/dports/audio/py-music21/music21-7.1.0/music21/lily/ |
H A D | translate.py | 346 lpOutputDefHead = lyo.LyOutputDefHead(defType='paper') 380 lpOutputDefHead = lyo.LyOutputDefHead(defType='paper')
|
/dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.Data.Linq/SqlClient/Reader/ |
H A D | ObjectReaderCompiler.cs | 1988 MetaType defType = null; in GenerateDiscriminatedType() 1994 defType = imt; in GenerateDiscriminatedType() 2011 if (defType != null) { in GenerateDiscriminatedType() 2012 this.GenerateConstant(typeof(Type), defType.Type); in GenerateDiscriminatedType()
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Auto/ |
H A D | Convert.hs | 107 let typ = MB.defType def 241 let nomi = I.arity (MB.defType def)
|
/dports/lang/fpc-source/fpc-3.2.2/packages/univint/src/ |
H A D | Controls.pas | 1303 defType: ControlDefType;
|
H A D | Menus.pas | 1122 defType: MenuDefType;
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/chrome/android/javatests/src/org/chromium/chrome/browser/installedapp/ |
H A D | InstalledAppProviderTest.java | 262 public int getIdentifier(String name, String defType, String defPackage) { in getIdentifier() argument
|
/dports/lang/python-legacy/Python-2.7.18/Mac/Modules/list/ |
H A D | _Listmodule.c | 823 &theSpec.defType, &listDefFunc, in List_CreateCustomList()
|
/dports/lang/python27/Python-2.7.18/Mac/Modules/list/ |
H A D | _Listmodule.c | 823 &theSpec.defType, &listDefFunc, in List_CreateCustomList()
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Reduce/ |
H A D | Fast.hs | 120 let isPrp = case getSort (defType def) of 132 case telView' (defType def) of
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/ |
H A D | BasicOps.hs | 447 a <- reify =<< defType <$> getConstInfo q 1269 t <- normalForm norm =<< (defType <$> instantiateDef d)
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/JS/ |
H A D | Compiler.hs | 350 definition' kit q d (defType d) ls
|
/dports/audio/foo-yc20/foo-yc20-1.3.0/src/ |
H A D | vsti.cpp | 467 controlSpec.defType = kControlDefObjectClass; in open()
|