ds,da:Collection(dec()), init:Collection(rel()), pre:Collection(pre()), eff:Collection(eff()), frame:Collection(frame()). mk_ioa(ds, da, init, pre, eff, frame) 
ioa{i:l}()| Who Cites mk ioa? | |
| mk_ioa | Def mk_ioa(ds, da, init, pre, eff, frame) == < ds,da,init,pre,eff,frame > |
| Thm* ds,da:Collection(dec()), init:Collection(rel()), pre:Collection(pre()), eff:Collection(eff()), frame:Collection(frame()). mk_ioa(ds, da, init, pre, eff, frame) ioa{i:l}() |
| Syntax: | mk_ioa(ds, da, init, pre, eff, frame) | has structure: | mk_ioa(ds; da; init; pre; eff; frame) |
About:
 |  |  |  |