Nemerle Documentation

Ensures_method_postaddMacro Constructor 

Initializes a new instance of the Ensures_method_postaddMacro class.

public Ensures_method_postaddMacro();

See Also

Ensures_method_postaddMacro Class | Nemerle.Assertions Namespace