Packages

ft

3.2.1
3.2.2 3.2.1 3.1.0

FT FormalTalk ERP.UNO Compiler

HexDocs

Current section

Files

Jump to
Readme
3 Versions
1 Dependency
Dependants
Files
Activity
ft priv bpe internal.bpe
Raw

priv/bpe/internal.bpe 

module internal bpe



route routeTo

begin (*,I): | (I,gwC):O,T,fromExecutors

    | (*,G):G,[];P,RTASM;P,[],toCertifiers end



route routeFrom

begin (C,I):C,[] | (I,gwC): | (gwR,I):G,[];O,T | (*,G):

    | (*,A):G,[];O,RTAS;A,T;I,R;U,RTAS;A,A;S,S;T,AS end