HERMIT.Dictionary.WorkerWrapper.Common
externals
data WWAssumptionTag
data WWAssumption
assumptionAEqualityT
assumptionBEqualityT
assumptionCEqualityT
split1BetaR
split2BetaR
workLabel