Twelf 1.5R3, Aug 30, 2005 (%trustme)
%% OK %%
[Opening file /home/www/twelf/hcode/a476366dda6ff504c1c6cd470ade7312]
bit : type.
bit/0 : bit.
bit/1 : bit.
bit-flip : bit -> bit -> type.
bit-flip/01 : bit-flip bit/0 bit/1.
bit-flip/10 : bit-flip bit/1 bit/0.
%mode +{B:bit} -{B':bit} (bit-flip B B').
%worlds () (bit-flip _ _).
%total {} (bit-flip _ _).
[Closing file /home/www/twelf/hcode/a476366dda6ff504c1c6cd470ade7312]
%% OK %%