package mopsa

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

Module Containers.GraphSource

A simple graph library to represent control-flow graphs. Functor and module signature.

Ordered, hashable data types

Sourcemodule IdGeneric (T : sig ... end) : GraphSig.ID_TYPE with type t = T.t

Generic functor to lift any type to an ID_TYPE module. Uses the polymorphic comparison, equality, and hashing.

Sourcemodule IdInt : GraphSig.ID_TYPE with type t = int

Useful base cases.

Sourcemodule IdString : GraphSig.ID_TYPE with type t = string
Sourcemodule IdUnit : GraphSig.ID_TYPE with type t = unit

Product.

Nested lists

Sourceval pp_nested_list : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a GraphSig.nested_list -> unit

Printers.

Sourceval pp_nested_list_list : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a GraphSig.nested_list list -> unit

Graph Functor

Sourcemodule Make (P : GraphSig.P) : GraphSig.S with module P = P

Main functor.

OCaml

Innovation. Community. Security.