diff options
Diffstat (limited to 'model/prelude_mem_metadata.sail')
| -rw-r--r-- | model/prelude_mem_metadata.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/model/prelude_mem_metadata.sail b/model/prelude_mem_metadata.sail index e714189..919cee3 100644 --- a/model/prelude_mem_metadata.sail +++ b/model/prelude_mem_metadata.sail @@ -76,8 +76,8 @@ type mem_meta = unit let default_meta : mem_meta = () -val __WriteRAM_Meta : forall 'n. (xlenbits, atom('n), mem_meta) -> unit effect {wmvt} +val __WriteRAM_Meta : forall 'n. (xlenbits, atom('n), mem_meta) -> unit function __WriteRAM_Meta(addr, width, meta) = () -val __ReadRAM_Meta : forall 'n. (xlenbits, atom('n)) -> mem_meta effect {rmem} +val __ReadRAM_Meta : forall 'n. (xlenbits, atom('n)) -> mem_meta function __ReadRAM_Meta(addr, width) = () |