Expand description
SchemeInstance: a scheme instantiated with concrete bindings.
Structs§
- Critical
Question Instance - A critical question instantiated with concrete bindings.
- Scheme
Instance - A scheme instantiated with concrete bindings, ready for ASPIC+ integration.
Functions§
- instantiate
- Instantiate a scheme with concrete bindings.