Interface ResolvedPolicy

interface ResolvedPolicy {
    id: string;
    invariants: string[];
    rules: FormalPolicyRule[];
    verified: boolean;
}

Index

Properties

id invariants rules verified

Properties

id

id: string

invariants

invariants: string[]

rules

rules: FormalPolicyRule[]

verified

verified: boolean