delete_processing.mfotl 138 Bytes
Newer Older
gartur's avatar
1.1.6    
gartur committed
1
LET delete_processing(data,dataid,dsid) = use(data,dataid,dsid) AND (ONCE delete(data,dataid,dsid)) IN
gartur's avatar
1.1.5    
gartur committed
2
delete_processing(data,dataid,dsid)