package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Equiv : sig ... end

Relation with printing builder

module Graph : sig ... end

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

module GraphSig : sig ... end

A simple graph library to represent control-flow graphs.

module InvRelation : sig ... end

InvRelation - Relations with access to inverse images.

module InvRelationSig : sig ... end

InvRelationSig - Signature of relations with access to inverse images.

module ListExt : sig ... end

ListExt - Adds a few useful functions to OCaml lists

module MapExt : sig ... end
module MapExtPoly : sig ... end

Maps with polymorphic keys and values

module MapExtSig : sig ... end
module MapP : sig ... end

Map with printing builder

module Relation : sig ... end

Relation - Relations (or multimaps) between ordered sets.

module RelationSig : sig ... end

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

module SetExt : sig ... end
module SetExtPoly : sig ... end

Sets with polymorphic values

module SetExtSig : sig ... end

Sets over ordered types.

module 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