This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
7.1.12 The fs:apply-ordering-mode function DEv / rule 2 / premise 1 "statEnv.orderingMode = ordered" s/ordered/unordered/ STA / rule (1|2) Type Missing premise: "statEnv |- Expr : Type"
First comment fixed as suggested. Second comment is obsolete as the static typing rules at this level now operate directly over the type. - Jerome