diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2_rules.ott | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/l2_rules.ott b/language/l2_rules.ott index 696c8509..c52429bb 100644 --- a/language/l2_rules.ott +++ b/language/l2_rules.ott @@ -658,7 +658,7 @@ E_e(t) gives { num1 |-> id1 ... numn |-> idn } E_d |- vector ne1 ne2 order :t_arg_typ: bit :> enum ne3 ne4 order, { ne3 = zero, ne4 = 2** ne2} -------------------------------------- :: from_num -E_d |- enum ne1 ne2 order :> vector ne3 ne4 order :t_arg_typ: bit, {ne3 = zero, ne4 = 2** ne1 + ne2} +E_d |- enum ne1 ne2 order :> vector ne3 ne4 order :t_arg_typ: bit, {ne3 = zero, id = ne1 + ne2, ne4 = 2** id} defns |