randNext : Int -> Pair Int IntUn pas pseudo-aléatoire : une graine produit une sortie et la graine suivante. Pure et déterministe (un pas de splitmix).
PréludeChargé par défaut — aucun
import nécessaire.Graines pseudo-aléatoires (fondation pour les tests basés sur les propriétés)
randOut : Int -> IntLa sortie pseudo-aléatoire pour une graine.
nextSeed : Int -> IntUne nouvelle sous-graine dérivée d'une graine (pour se répartir sur des sous-valeurs).