Lines Matching refs:tag
38 fun mk_holfoot_ap_list_seg_absyn (tag, exp1, exp2) =
40 tag, exp1, Absyn.mk_AQ holfoot_data_list___EMPTY_tm, exp2]);
55 (* lseg(tag;x,y) *)
57 fn [tag,exp1,exp2] => mk_holfoot_ap_list_seg_absyn (
58 tag,
63 fun mk_holfoot_ap_data_list_seg_absyn (tag, exp1, dtag, data, exp2) =
65 tag, exp1, mk_list [Absyn.mk_pair (dtag, data)], exp2]);
87 (* data_lseg(tag;x,dtag:data,y) *)
93 fn [tag,exp1,dtag,data,exp2] => mk_holfoot_ap_data_list_seg_absyn (
94 tag,
235 fun mk_holfoot_ap_queue_absyn (tag, exp1, exp2) =
237 tag, exp1, Absyn.mk_AQ holfoot_data_list___EMPTY_tm, exp2]);
246 fun mk_holfoot_ap_data_queue_absyn (tag, exp1, dtag, data, exp2) =
248 tag, exp1, mk_list [Absyn.mk_pair (dtag, data)], exp2]);
268 fn [tag,exp1,dtag,data,exp2] => mk_holfoot_ap_data_queue_absyn (
269 tag,