package mopsa

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

Module type Value.VALUE_REDUCTIONSource

val name : string

Name of the reduction rule

val reduce : 'v value_reduction_man -> 'v -> 'v

reduce man pv applies the reduction rule on the product value pv