Packages

FT FormalTalk ERP.UNO Compiler

Current section

Files

Jump to
ft priv bpe org.bpe
Raw

priv/bpe/org.bpe

module org bpe
route routeTo
begin (*,I): | (I,gwC):O,T,fromExecutors;O,Tn,fromFamiliarize
| (*,G):G,[];P,RASTTnM;P,[],toCertifiers end
route routeFrom
begin (C,I):C,[] | (I,gwC): | (gwR,I):G,[];O,TTn | (*,G):
| (*,A):G,[];O,RTTnAS;A,T;I,R;U,RTAS;A,A;S,S;T,AS end