Internal primitives to implement evidence based algebraic effect handlers. These are emitted by the compiler during evidence translation and this module is always implicitly imported.
Ningning Xie, and Daan Leijen. Generalized Evidence Passing for Effect Handlers, or efficient compilation of effect handlers to C. Proceedings of the ACM International Conference on Functional Programming (ICFP'21), August 2021, Vol 5: pp. 71, doi: 10.1145/3473576. https://www.microsoft.com/en-us/research/publication/generalized-evidence-passing-for-effect-handlers-or-efficient-compilation-of-effect-handlers-to-c/
control flow context:
-1: none: bottom
0: except: never resumes 1: linear: resumes exactly once / 2: affine: resumes never or once | 3: multi: resumes never, once, or multiple times.
Effect handler evidence of a handler
h in the context.
The tag of a handler identifies the type at runtime (e.g.