use "../8-booleans/booleans.sml"; use "circuits.sml"; use "equal.sml"; use "adders.sml"; use "test.sml";