Searched refs:evalIApplyAM (Results 1 – 1 of 1) sorted by relevance
867 evalIApplyAM spine ctrl $908 evalIApplyAM spine ctrl $923 evalIApplyAM spine ctrl $958 MetaV m es -> evalIApplyAM spine ctrl $1274 evalIApplyAM :: Spine s -> ControlStack s -> ST s (Blocked Term) -> ST s (Blocked Term)1275 evalIApplyAM es ctrl fallback = go es function