Change to the spec...missed a consistency property. Adding timing option.
[repair.git] / Repair / RepairCompiler / MCC / specs / abiword / abi.space
1 set Fragments(pf_Fragments);
2 set Frags(pf_Frag): firstblock | secondblock | Last;
3 set Last(pf_Frag);
4 set firstblock(pf_Frag_Strux_Section);
5 set secondblock(pf_Frag_Strux_Block);
6 Next: Frags -> Frags;
7 Prev: Frags -> Frags;
8 set LFrag(pf_Frag);
9 PLast: Fragments -> LFrag;
10 Length: Frags -> int;