PostconditionModule
namespace
PostconditionModule
sourceexport namespace PostconditionModuleexport namespace PostconditionModuletypeAlias
Resolvable
sourceexport type Resolvable<D> = PostconditionModule<D>|PostconditionModule.Data<D>export type Resolvable<D> = PostconditionModule<D>|PostconditionModule.Data<D>interface
Data
sourceexport interface Data<D> extends Omit<BaseModule.Data, "moduleType">, Omit<CommandPostcondition.Data<D>, "id">export interface Data<D> extends Omit<BaseModule.Data, "moduleType">, Omit<CommandPostcondition.Data<D>, "id">ModuleType.PostconditionModuleType.Postcondition