module identity ( a: Logic ) -> Logic { assign x = a; }