a type tag that can be tossed inside an Arc to get CTV
Errors that an emulator might throw
CTVEmulator trait is used to make the method in which CheckTemplateVerify
is stubbed out with.
A wrapper for an optional internal emulator trait object. If no emulator is provided, then it defaults to using actual CheckTemplateVerify Clauses.