pp_t

template<typename I , typename O , typename... Ts>

using pp_t = std::function<O(record_t<DTypes<Ts...> >&, I)>

A shorthand for probabilistic program type. Probabilistic programs are callables that take a single input of type I, output a single value of type O, and contain an arbitrary positive number of distributions of type Ts...

To be well-formed, a probabilistic program should terminate with probability one.