pub fn hyperloglog_ty() -> Expr
HyperLogLogTy : Nat → Type 0 — HyperLogLog cardinality estimator with b-bit registers.
HyperLogLogTy : Nat → Type 0