package mopsa

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

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

Ordered, hashable data types

module 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.

module IdInt : GraphSig.ID_TYPE with type t = int

Useful base cases.

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

Product.

Nested lists

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

Printers.

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

Graph Functor

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

Main functor.

OCaml

Innovation. Community. Security.