Module Memory.Ram

ram.ml - Definitions for random-access memory

type ram_bank = bytes

Type defining a RAM bank

val ram_size : bytes -> int
val address_in_bounds : bytes -> int -> bool
val get_ram_bank : int -> ram_bank

Initializes a RAM bank of size n

val get_sub_bank : bytes -> int -> int -> bytes

Gets a subsection of a RAM bank from start:stop

val string_of_bank : bytes -> string

Gets a string representation of a RAM bank

val ram_read : bytes -> int -> char

Reads ramaddress

val ram_write : bytes -> int -> char -> unit

Performs the assignment ramaddress := data