# ContractCase Mock Types DSL

[![Build and test](https://github.com/case-contract-testing/contract-case/actions/workflows/build-and-test.yml/badge.svg?branch=main)](https://github.com/case-contract-testing/contract-case/actions/workflows/build-and-test.yml)
[![Known Vulnerabilities](https://snyk.io/test/github/case-contract-testing/contract-case/badge.svg?targetFile=packages/case-definition-dsl/package.json)](https://snyk.io/test/github/case-contract-testing/contract-case?targetFile=packages/case-definition-dsl/package.json)

These are the ContractCase interaction types for the ContractCase contract testing suite. Read [the documentation here](https://case.contracttesting.io)

This module is separate because it is part of the boundary translated with JSii.