package owi

  1. Overview
  2. Docs
type t
type collection
val init : unit -> collection
val clone : collection -> collection
val get_global : Env_id.t -> Concrete_global.t -> collection -> int -> t
val mut : t -> Types.mut
val value : t -> Symbolic_value.t
val set_value : t -> Symbolic_value.t -> unit
OCaml

Innovation. Community. Security.