pub fn ppl_program_ty() -> Expr
PPLProgram : Type → Type — a probabilistic program returning values of type A.
PPLProgram : Type → Type