An experimental C# library that uses the type system to make method preconditions visible in the method signature.