/usr/share/hol88-2.02.19940316/help/ENTRIES/replicate.doc is in hol88-help 2.02.19940316-35.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 | \DOC replicate
\TYPE {replicate : (* -> int -> * list)}
\SYNOPSIS
Makes a list consisting of a value replicated a specified number of times.
\DESCRIBE
{replicate x n} returns {[x;...;x]}, a list of length {n}.
\FAILURE
Fails if number of replications is less than zero.
\ENDDOC
|