A light-weight package to factor out interfaces and associated APIs for modelling languages for probabilistic programming. High level goals are:
- Definition of an interface of few abstract types and a small set of functions that should be supported by all probabilistic programs and trace types.
- Provision of some commonly used functionality and data structures, e.g., for managing variable names.
The interfaces do not currently have any specification, so downstream packages are free to implement these in any appropriate way. Please see the documentation for more information on the design goals.