"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
const CSharpVerifier_1 = require("./CSharpVerifier");
const CSharpVerifierFactory = (ampliInstanceNames) => new CSharpVerifier_1.default(ampliInstanceNames);
exports.default = CSharpVerifierFactory;