/*

specification of function ex1
ex: Sigma x LBS -> LBS

*/

use(lb_list).
use(commands).

ex1(nil,L)=L.
ex1(cons(S,create),L)=nil.
ex1(cons(S,ins(E)),L)=cons(ex1(S,L),lb(E,inf)).
ex1(cons(S,del(E)),L)=remove(E,ex1(S,L)).
ex1(cons(S,dmin(E)),L)=adjust(E,remove(E,ex1(S,L))).

precedence([ex1,contains,adjust,remove,prefix,dmin,ins,del,create,cons,nil,inf,=<,<]).