Interface: Example
August 8, 2026 ยท View on GitHub
@plures/praxis / index / Example
Interface: Example
Defined in: packages/praxis-core/src/decision-ledger/types.ts:43
A Given/When/Then example for a contract.
Properties
given
given:
string
Defined in: packages/praxis-core/src/decision-ledger/types.ts:45
Initial state or preconditions
then
then:
string
Defined in: packages/praxis-core/src/decision-ledger/types.ts:49
Expected outcome or postconditions
when
when:
string
Defined in: packages/praxis-core/src/decision-ledger/types.ts:47
Triggering event or action