package mopsa

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

Module ContainersSource

Sourcemodule Equiv : sig ... end

Relation with printing builder

Sourcemodule Graph : sig ... end

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

Sourcemodule GraphSig : sig ... end

A simple graph library to represent control-flow graphs.

Sourcemodule InvRelation : sig ... end

InvRelation - Relations with access to inverse images.

Sourcemodule InvRelationSig : sig ... end

InvRelationSig - Signature of relations with access to inverse images.

Sourcemodule ListExt : sig ... end

ListExt - Adds a few useful functions to OCaml lists

Sourcemodule MapExt : sig ... end
Sourcemodule MapExtPoly : sig ... end

Maps with polymorphic keys and values

Sourcemodule MapExtSig : sig ... end
Sourcemodule MapP : sig ... end

Map with printing builder

Sourcemodule Relation : sig ... end

Relation - Relations (or multimaps) between ordered sets.

Sourcemodule RelationSig : sig ... end

RelationSig - Signature of relations (or multimaps) between ordered sets.

Sourcemodule SetExt : sig ... end
Sourcemodule SetExtPoly : sig ... end

Sets with polymorphic values

Sourcemodule SetExtSig : sig ... end

Sets over ordered types.

Sourcemodule SetP : sig ... end

Set with printing builder

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct