PmCallBack.dcl 464 Bytes
Newer Older
1 2 3
definition module PmCallBack

from IdeState import ::General,::PSt
4 5
from StdFile import class FileEnv,class FileSystem
from StdPStClass import instance FileEnv (PSt .a),instance FileSystem (PSt .a)
6

7 8
IF_BATCHBUILD_OR_IDE batchbuild ide:==ide

9
:: *GeneralSt :== PSt General
10 11 12 13

start :: !.a !(.Bool -> .(.a -> .(*GeneralSt -> *(.a,*GeneralSt)))) !*GeneralSt -> *GeneralSt
cont :: !*(.a,!*GeneralSt) -> *(.a,!*GeneralSt);
stop :: !*(.a,!*GeneralSt) -> *(.a,!*GeneralSt);