From: Dmitrii Shlagov Date: Thu, 14 May 2026 14:25:33 +0000 (+0200) Subject: fix var mode in between/3 documentation X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b9f1443eb0aff9b80b53386cbdd84c0ff4cd3394;p=scryer-prolog.git fix var mode in between/3 documentation --- diff --git a/src/lib/between.pl b/src/lib/between.pl index db87c45c..8aa8bca5 100644 --- a/src/lib/between.pl +++ b/src/lib/between.pl @@ -12,7 +12,7 @@ integers that may also be interesting. :- use_module(library(lists), [length/2]). :- use_module(library(error)). -%% between(+Lower, +Upper, -X). +%% between(+Lower, +Upper, ?X). % % Given Lower and Upper are both integer numbers, true iff X is an integer so that _Lower =< X =< Upper_. % Can be used both to check if X is between Lower and Upper or to generate an integer between