Twelf 1.7.1 (built 03/19/11 at 09:41:05 on gs6177)
%% OK %%
%% OK %%
%% OK %%
[Opening file /home/www/twelfwiki/code/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/twelfwiki/code/a476366dda6ff504c1c6cd470ade7312]
%% OK %%