diff options
Diffstat (limited to 'aarch64/mono/BigEndianReverse.sail')
| -rw-r--r-- | aarch64/mono/BigEndianReverse.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aarch64/mono/BigEndianReverse.sail b/aarch64/mono/BigEndianReverse.sail index 23b222f4..05ba4a72 100644 --- a/aarch64/mono/BigEndianReverse.sail +++ b/aarch64/mono/BigEndianReverse.sail @@ -1,4 +1,4 @@ -val BigEndianReverse : forall ('width : Int), 'width >= 0 & 'width >= 0. +val BigEndianReverse = {lem: "BigEndianReverse"} : forall ('width : Int), 'width >= 0 & 'width >= 0. bits('width) -> bits('width) effect {escape} function BigEndianReverse value_name = { |