@plures/praxis

---

@plures/praxis / index / VerifiableDescriptor

Interface: VerifiableDescriptor

Defined in: src/expectations/types.ts:77

Interface describing a rule or constraint for verification

Properties

contract?

optional contract?: object

Defined in: src/expectations/types.ts:81

behavior

behavior: string

examples

examples: object[]

invariants

invariants: string[]

ruleId

ruleId: string

---

description

description: string

Defined in: src/expectations/types.ts:79

---

eventTypes?

optional eventTypes?: string | string[]

Defined in: src/expectations/types.ts:80

---

id

id: string

Defined in: src/expectations/types.ts:78