package mopsa

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

Command-line options. Replacement for Arg from the standard library

module Bot : sig ... end

Bot - Lift operations to a bottom element.

module Bot_top : sig ... end

Bot_top - Lift operations to a top/bottom element.

module Callstack : sig ... end

Callstack - representation of the call stack of a program execution

module Compare : sig ... end

Lift comparison to composed data-structure (pairs, lists, etc.).

module Debug : sig ... end

Debug - Conditional debugging with channel filtering.

module Dnf : sig ... end

Disjunctive normal form.

module Eq : sig ... end

Equality witness of types

module Exceptions : sig ... end

Common exceptions and warnings

module LineEdit : sig ... end

Simple line-editing for interactive sessions in the terminal. Assumes an UTF-8 console with standard ANSI escape codes.

module Location : sig ... end

Positions and ranges

module OptionExt : sig ... end

Utility functions for 'a option type.

module Timing : sig ... end
module Top : sig ... end

Top - Top element

module TypeExt : sig ... end

Common functions for extensible types

module ValueSig : sig ... end

Signatures needed throughout the project

module Version : sig ... end

Mopsa version.

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