Documentation

genUStoreSubMap :: (MonadGen m, Ord k) => m k -> m v -> m (k |~> v) Source #

genUStoreFieldExt :: MonadGen m => m v -> m (UStoreFieldExt marker v) Source #