Ebix Interview Question

What are code contracts?