PostconditionResultManager
namespace
PostconditionResultManager
sourceexport namespace PostconditionResultManagerexport namespace PostconditionResultManagerinterface
Options
sourceexport interface Options<T extends CommandType, D>export interface Options<T extends CommandType, D>Iterable<CommandPostcondition<D>>Iterable<CommandPostcondition<D>>Iterable<CommandPostcondition.ResultData<T, D>>Iterable<CommandPostcondition.ResultData<T, D>>string[]string[]