We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
word Min = [ A <= B && A <= C : A; B <= C : B; 1 : C; ]