Lines Matching defs:ev
1896 fun ev tm =1909 (case List.mapPartial (ev tm) (utilsLib.find_rw net tm) of1983 val ev = eval_thumb config1987 then [ev 1 v, ev 0 v]1988 else [ldm_stm_rule s (ev 0 v)]1993 val ev = mk_ev config1999 ev (s, v)2004 val ev = mk_ev config2010 ev (thumb_instruction v, v)