Expand description

Predicate representations with required data to be executed during VM runtime

Structs

Runtime representation of a predicate