pub fn sampler_ty() -> Expr
Sampler : Type → Type — a procedure that draws samples from a distribution.
Sampler : Type → Type