package mopsa
Module Objects.Constant_dict
A constant dictionary abstraction. Useful to be precise when passing named arguments to functions
type MopsaLib.query += | Q_py_dict_items : MopsaLib.expr -> ('a0, (MopsaLib.expr * MopsaLib.expr) list) MopsaLib.query
module Domain : sig ... end