From 4b70f66cdd03e16ce9b0e8e883ad6c03a567ec54 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr> Date: Fri, 24 Dec 2021 15:22:00 +0100 Subject: [PATCH] Typos. --- feat-core/EnumSig.ml | 6 +++--- feat-core/IFSeqSig.ml | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/feat-core/EnumSig.ml b/feat-core/EnumSig.ml index da07fc3..b487548 100644 --- a/feat-core/EnumSig.ml +++ b/feat-core/EnumSig.ml @@ -122,9 +122,9 @@ module type ENUM = sig (**[sample m e i j k] is a sequence of at most [m] elements of every size comprised between [i] (included) and [j] (excluded) extracted out of the enumeration [e], prepended in front of the existing sequence [k]. At - every size, if there at most [m] elements of this size, then all elements - of this size are produced; otherwise, a random sample of [m] elements of - this size is produced. *) + every size, if there are at most [m] elements of this size, then all + elements of this size are produced; otherwise, a random sample of [m] + elements of this size is produced. *) val sample: int -> 'a enum -> int -> int -> 'a Seq.t -> 'a Seq.t end diff --git a/feat-core/IFSeqSig.ml b/feat-core/IFSeqSig.ml index 343f692..ee2b4b2 100644 --- a/feat-core/IFSeqSig.ml +++ b/feat-core/IFSeqSig.ml @@ -102,7 +102,7 @@ module type IFSEQ_EXTENDED = sig (**[sample m s k] is an explicit sequence of at most [m] elements extracted out of the implicit sequence [s], prepended in front of the existing - sequence [k]. If [length s] at most [m], then all elements of [s] are + sequence [k]. If [length s] is at most [m], then all elements of [s] are produced. Otherwise, a random sample of [m] elements extracted out of [s] is produced. *) val sample: int -> 'a seq -> 'a Seq.t -> 'a Seq.t -- GitLab