package owi

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t

val memories : t -> Symbolic_memory.collection

val tables : t -> Symbolic_table.collection

val globals : t -> Symbolic_global.collection

val pc : t -> Symbolic_value.vbool list