movement.mli

node movement(c: bool) returns (turning: bool; ombc:int)
	var last mbc:int = 0; 
let
	ombc = mbc;
	automaton
		state MOVING do
			mbc = 0;
			turning = false;			
			unless not c then STURNING
		state STURNING do
			mbc = 0;
			turning = true;
			until not c then TURNING | c then MOVING
		state TURNING do
			mbc = last mbc + 1;
			turning = true;
			unless c & (12 = last mbc) then STURNING
	end
tel