package mopsa

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

Module Utils_coreSource

Sourcemodule ArgExt : sig ... end
Sourcemodule Bot : sig ... end

Bot - Lift operations to a bottom element.

Sourcemodule Bot_top : sig ... end

Bot_top - Lift operations to a top/bottom element.

Sourcemodule Callstack : sig ... end

Callstack - representation of the call stack of a program execution

Sourcemodule Compare : sig ... end

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

Sourcemodule Debug : sig ... end

Debug - Conditional debugging with channel filtering.

Sourcemodule Dnf : sig ... end

Disjunctive normal form.

Sourcemodule Eq : sig ... end

Equality witness of types

Sourcemodule Exceptions : sig ... end

Common exceptions and warnings

Sourcemodule LineEdit : sig ... end

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

Sourcemodule Location : sig ... end

Positions and ranges

Sourcemodule OptionExt : sig ... end

Utility functions for 'a option type.

Sourcemodule Timing : sig ... end
Sourcemodule Top : sig ... end

Top - Top element

Sourcemodule TypeExt : sig ... end

Common functions for extensible types

Sourcemodule ValueSig : sig ... end

Signatures needed throughout the project

Sourcemodule 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