オンラインドキュメントを見てて、出来ることに気づいた。 using System; using Nemerle.Assertions; using Nemerle.IO; module Calc { [Requires(x >= 0 && y >= 0)] // 事前条件 [Ensures(value >= 0)] // 事後条件 public Add(x : int, y : int) : int { …