package mopsa

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Intervals = Intervals
module Congruences : sig ... end

Congruence abstraction of integer values.

module Powersets = Powersets
module Zero : sig ... end

Abstraction of zero and non-zero integer values.

OCaml

Innovation. Community. Security.