pub fn density_ty() -> Expr
Density : Type → Type — a density/pmf function on a type.
Density : Type → Type