[standard-ml/en-en] infix functions