blob: cb34f8e3e7f6ac4445349d30d501bdc32a0e7734 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
/* The default metadata carries no information, and is implemented
* using a unit type.
*/
type mem_meta = unit
let default_meta : mem_meta = ()
val __WriteRAM_Meta : forall 'n. (xlenbits, atom('n), mem_meta) -> unit effect {wmvt}
function __WriteRAM_Meta(addr, width, meta) = ()
val __ReadRAM_Meta : forall 'n. (xlenbits, atom('n)) -> mem_meta effect {rmem}
function __ReadRAM_Meta(addr, width) = ()
|
