internal Verifier(ILVerifyTypeSystemContext context, VerifierOptions verifierOptions)
{
_typeSystemContext = context;
_verifierOptions = verifierOptions ?? new VerifierOptions();
}
public Verifier(IResolver resolver, VerifierOptions verifierOptions) : this(new ILVerifyTypeSystemContext(resolver), verifierOptions)
{
}