それはどういう意味ですか?呼び出しは次のようになります。
Require.IsTrue(value == null || type.IsInstanceOfType(value),
"value",
"The specified value must be an instance of the specified type.");
UPD:
[ContractArgumentValidator]
public static void IsTrue(
Boolean condition, String paramName, String message)
{
if(!condition)
{
throw new ArgumentException(message, paramName);
}
Contract.EndContractBlock();
}