[m-rev.] for review: fix style of integer.m
Peter Wang
novalazy at gmail.com
Wed Oct 21 10:40:02 AEDT 2015
On Wed, 21 Oct 2015 04:12:30 +1100 (AEDT), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> @@ -26,19 +30,19 @@
>
> :- type integer.
>
> - % Less than.
> + % X < X: Succeed iff X is less than Y.
> %
> :- pred '<'(integer::in, integer::in) is semidet.
>
> - % Greater than.
> + % X > X: Succeed iff X is greater than Y.
> %
> :- pred '>'(integer::in, integer::in) is semidet.
>
> - % Less than or equal.
> + % X =< X: Succeed iff X is less than or equal to Y.
> %
> :- pred '=<'(integer::in, integer::in) is semidet.
>
> - % Greater than or equal.
> + % X >= X: Succeed iff X is greater than or equal to Y.
> %
> :- pred '>='(integer::in, integer::in) is semidet.
>
X < Y, etc.
Peter
More information about the reviews
mailing list