package mopsa

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

Module Objects.Constant_dict

A constant dictionary abstraction. Useful to be precise when passing named arguments to functions

type MopsaLib.query +=
  1. | Q_py_dict_items : MopsaLib.expr -> ('a0, (MopsaLib.expr * MopsaLib.expr) list) MopsaLib.query
module Domain : sig ... end