Searched defs:dDefinition (Results 1 – 5 of 5) sorted by relevance
442 , dDefinition = DExpr e function898 , dDefinition = DExpr e1 function913 , dDefinition = DPrim function961 , dDefinition = DExpr (foldr ETAbs (foldr EProofAbs e2 asmps) as) function
169 , dDefinition :: DeclDef function
84 , dDefinition = DExpr e function219 , dDefinition = inst env (dDefinition d) function
151 , dDefinition = DExpr (addParams ps e) function
261 , dDefinition = DExpr e1 function