package mopsa

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

Module Reductions.Intervals_rel

Reduction operator for computing the most precise interval in a post-condition and inform the intervals domain about it.

module Reduction : sig ... end