package mopsa

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

Module Core.PathSource

Path of domains inside the abstraction DAG

Sourcetype accessor = ..
Sourcetype path = accessor list
Sourceval compare_accessor : accessor -> accessor -> int
Sourceval pp_accessor : Stdlib.Format.formatter -> accessor -> unit
Sourceval register_accessor : accessor Mopsa_utils.TypeExt.info -> unit
Sourceval compare_path : accessor list -> accessor list -> int
Sourceval pp_path : Stdlib.Format.formatter -> accessor list -> unit
Sourceval empty_path : path
module PathMap : sig ... end
module PathSet : sig ... end
OCaml

Innovation. Community. Security.