Module internal

Modules

• types

Structs

• InternalVmVerifierConfig
  Config to generate internal VM verifier program.