Lines Matching refs:apply
302 Count.apply EVAL ``FLOOKUP (FEMPTY |+ (a, 1)) a``
304 Count.apply EVAL ``FLOOKUP ^(mk_fmap fempty_tm 0 1000) 999``
306 Count.apply EVAL ``FLOOKUP gen_fmap_0 44``
307 Count.apply EVAL ``FLOOKUP (gen_fmap_0 |+ (1000, 1000)) 44``
308 Count.apply EVAL ``FLOOKUP (gen_fmap_0 |+ (44, 45)) 44``
309 Count.apply EVAL ``FLOOKUP gen_fmap_1 99``
310 Count.apply EVAL ``FLOOKUP gen_fmap_9 99``
311 Count.apply EVAL ``FLOOKUP gen_fmap_9 901``
312 Count.apply EVAL ``FLOOKUP gen_fmap_9 801``
339 val d2_conv = Count.apply FLOOKUP_DEFN_CONV dict2_def
340 val d3_conv = Count.apply FLOOKUP_DEFN_CONV dict3_def
341 val d4_conv = Count.apply FLOOKUP_DEFN_CONV dict4_def
342 val d5_conv = Count.apply FLOOKUP_DEFN_CONV dict5_def
344 Count.apply d3_conv ``FLOOKUP dict3 1``;
345 Count.apply d3_conv ``FLOOKUP dict3 1000``;
346 Count.apply d4_conv ``FLOOKUP dict4 1``;
347 Count.apply d5_conv ``FLOOKUP dict5 (Num 1)``;