A dart package to support design by contract in declarative style - View it on GitHub