Searched refs:appDef (Results 1 – 3 of 3) sorted by relevance
104 } appDef; typedef129 appDef *appD; /* defaults */131 appDef *aCurr;212 sp->appD = (appDef*) NULL; in free_anemone_screen()276 sp->appD = (appDef *) xmalloc(sizeof(appDef) * sp->arms); in initAppendages()
60 } appDef; typedef81 appDef *appD; /* defaults */83 appDef *aCurr;142 st->appD = (appDef *) xmalloc(sizeof(appDef) * st->arms); in initAppendages()
750 appDef :: Term -> CompiledClauses -> RewriteRules -> MaybeReducedArgs -> ReduceM (Reduced (Blocked …751 appDef v cc rewr args = appDefE v cc rewr $ map (fmap Apply) args function