A

allvalues

Libraries with operations to strongly encapsulate non-deterministic computations