The Sail instruction-set semantics specification language

Summary

<id> ::= ID | operator OPERATOR | operator - | operator | | operator ^ | operator * <op_no_caret> ::= OPERATOR | - | | | * | in <op> ::= OPERATOR | - | | | ^ | * | in <exp_op> ::= OPERATOR | - | | | @ | :: | ^ | * <pat_op> ::= @ | :: | ^ <typ_var> ::= TYPE_VARIABLE <tyarg> ::= ( <typ_list> ) <prefix_typ_op> ::= epsilon | 2^ | - | * <postfix_typ> ::= <atomic_typ> <typ_no_caret> ::= <prefix_typ_op> <postfix_typ> (<op_no_caret> <prefix_typ_op> <postfix_typ>)* <typ> ::= if <infix_typ> then <infix_typ> else <typ> | <infix_typ> <infix_typ> ::= <prefix_typ_op> <postfix_typ> (<op> <prefix_typ_op> <postfix_typ>)* <atomic_typ> ::= <id> | _ | <typ_var> | <lit> | dec | inc | <id> <tyarg> | register ( <typ> ) | ( <typ> ) | ( <typ> , <typ_list> ) | { NUMBER (, NUMBER)* } | { <kopt> . <typ> } | { <kopt> , <typ> . <typ> } <typ_list> ::= <typ> [,] | <typ> , <typ_list> <kind> ::= Int | Type | Order | Bool <kopt> ::= ( constant <typ_var> : <kind> ) | ( <typ_var> : <kind> ) | <typ_var> <quantifier> ::= <kopt> , <typ> | <kopt> <effect> ::= <id> <effect_set> ::= { <effect> (, <effect>)* } | pure <typschm> ::= <typ> -> <typ> | forall <quantifier> . <typ> -> <typ> | <typ> <-> <typ> | forall <quantifier> . <typ> <-> <typ> <pat1> ::= <atomic_pat> (<pat_op> <atomic_pat>)* <pat> ::= <pat1> | <attribute> <pat> | <pat1> as <typ> <pat_list> ::= <pat> [,] | <pat> , <pat_list> <atomic_pat> ::= _ | <lit> | <id> | <typ_var> | <id> () | <id> [ NUMBER ] | <id> [ NUMBER .. NUMBER ] | <id> ( <pat_list> ) | <atomic_pat> : <typ_no_caret> | ( <pat> ) | ( <pat> , <pat_list> ) | [ <pat_list> ] | [| |] | [| <pat_list> |] | struct { <fpat> (, <fpat>)* } <fpat> ::= <id> = <pat> | <id> | _ <lit> ::= true | false | () | NUMBER | undefined | bitzero | bitone | BINARY_LITERAL | HEXADECIMAL_LITERAL | STRING_LITERAL <exp> ::= <exp0> | <attribute> <exp> | <exp0> = <exp> | let <letbind> in <exp> | var <atomic_exp> = <exp> in <exp> | { <block> } | return <exp> | throw <exp> | if <exp> then <exp> else <exp> | if <exp> the...