package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Cstubs.Resources

Common transfer functions for handling C stubs

val is_resource_addr_chain : (MopsaLib.addr_kind -> bool) ref
val register_is_resource_addr_chain : ((MopsaLib.addr_kind -> bool) -> MopsaLib.addr_kind -> bool) -> unit
val is_resouce_addr : MopsaLib.addr -> bool
module Domain : sig ... end

Domain identification