MealyMachine:
PROC [cx: Sisyph.Context, s:
ROPE ←
NIL]
RETURNS [ct: CellType];
"Vdd", "Gnd", "Reset", "Clock"
".fsa" is concatenated to s if supplied or the current name if not. Sisyph is invoked to extract the state machine. All of the publics of the extracted cell are added to the publics listed above.
MealyState:
PROC [o:
NAT]
RETURNS [ct: CellType];
"Target", "Source", Seq["Output", o]