Lines Matching defs:rc
560 fun dest_PMATCH_ROW_COND rc = let
561 val (f, args) = strip_comb rc
578 fun dest_PMATCH_ROW_COND_ABS rc = let
579 val (p_t, g_t, i_t, x_t) = dest_PMATCH_ROW_COND rc
595 fun dest_PMATCH_ROW_COND_EX rc = let
596 val (f, args) = strip_comb rc
648 fun dest_PMATCH_ROW_COND_EX_ABS rc = let
649 val (i_t, p_t, g_t) = dest_PMATCH_ROW_COND_EX rc
677 val rc = mk_PMATCH_ROW_COND_EX_PABS vs (v, p_t, g_t)
679 val rc_eq_tm = mk_eq (t, rc)