Searched refs:ctxTheta (Results 1 – 4 of 4) sorted by relevance
49 , ctxTheta = evidenceToThetaType ev function104 theta <- asks ctxTheta
466 , ctxTheta :: Set CType function478 , showsPrec 10 ctxTheta ""492 , ctxTheta = mempty function