package mopsa

  1. Overview
  2. Docs

Module Iterators.Interproc

Abstraction of C function calls

val opt_error_builtin : bool ref
module Domain : sig ... end