From b9f1443eb0aff9b80b53386cbdd84c0ff4cd3394 Mon Sep 17 00:00:00 2001 From: Dmitrii Shlagov Date: Thu, 14 May 2026 16:25:33 +0200 Subject: [PATCH] fix var mode in between/3 documentation --- src/lib/between.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.54.0