☰

*ON THIS PAGE*# Enumeration of integers inside a range

**Author(s):** The Ciao Development Team.## Usage and interface

## Documentation on exports

## Documentation on imports

This module has the following direct dependencies:

This modules enumerates integers between two numbers, or checks that an integer lies within a range

**Library usage:**`:- use_module(library(between)).`**Exports:***Predicates:*`between/3`.

PREDICATEbetween/3

Usage:`between(Min,Max,N)`

N is a number which is greater than or equal to Min and smaller than or equal to Max. Both Min and Max can be either integer or real numbers.

*The following properties should hold at call time:*

(`term_typing:nonvar/1`)Min is currently a term which is not a free variable.

(`term_typing:nonvar/1`)Max is currently a term which is not a free variable.

(`basic_props:num/1`)Min is a number.

(`basic_props:num/1`)Max is a number.*The following properties should hold upon exit:*

(`basic_props:int/1`)N is an integer.

*Packages:*`prelude`,`initial`,`condcomp`,`assertions`,`assertions/assertions_basic`,`isomodes`.

Generated with LPdoc using Ciao