import { StateObject , StateUpdate , Transaction } from './state.interface' ; export interface PredicatePlugin { param previousStateUpdate param transaction param witness returns executeStateTransition ( previousStateUpdate , transaction , witness ) : Promise < StateObject > ; }