\insert 'CombinatorialLogic.oz' \insert 'Delay.oz' declare In1 In2 AndOut = {AndG In1 {DelayG AndOut}} OrOut = {OrG In2 {DelayG AndOut}} In1 = 1|1|0|_ In2 = 1|0|1|_ {Browse AndOut} {Browse OrOut}