module AERN2.WithGlobalParam
(
WithGlobalParamP(..), pWGParam
, SuitableForWGParam
, wgprmName, wgprmId, wgprmSources, wgprmRename
, wgprmQuery, (?), wgprmQueryA, wgprmListQueryA
, WithGlobalParamA, WithGlobalParam
, newWGParam, newWGParamSimple
, fmapWGParam
, unaryOp, binaryOp, binaryOpWithPureArg
)
where
import AERN2.QA.Protocol
import AERN2.WithGlobalParam.Type
import AERN2.WithGlobalParam.Helpers
import AERN2.WithGlobalParam.Comparison ()
import AERN2.WithGlobalParam.Branching ()
import AERN2.WithGlobalParam.Ring ()
import AERN2.WithGlobalParam.Field ()
import AERN2.WithGlobalParam.Elementary ()