This repository provides a lightweight API of DbC(Design by Contract)