Provide patterns to be matched using a multi-threaded virtual machine.

Namespaces
namespace	aas_core::aas_3_0::pattern

Detailed Description

The instructions should be supplied to aas_core::aas_3_0::revm::Match. While we could have theoretically included this code in verification, we decided to keep it separate for readability. You are not expected to use this module directly.