module sig. 

type     '-->'  o -> o -> o.
infixr   '-->'  5.

type     '>>'  o -> o -> o.
infixr   '>>'  6.

type     '||' o  -> o -> o.
infixr   '||' 7. 

type     '|'  o -> o -> o.
infixr   '|'  8.

type     '@'  o -> o -> o.
infixr   '@'  8.

type     '-o'  o -> o -> o.
infixr   '-o'  9.

type   anti    o.

type   all     o.

type initial o -> o.