HERMIT.Dictionary.WorkerWrapper.Common
externals
data WWAssumptionTag
data WWAssumption
assumptionAQuantifiedT
assumptionBQuantifiedT
assumptionCQuantifiedT
split1BetaR
split2BetaR
workLabel