(*
 * This is the definitions only from ./populate-universe.fmsl, q.v.
 *)

op PopluateIntUniverseList(lower:integer, upper:integer) = [lower .. upper];

op PopluateIntUniverseRecursive(lower:integer, upper:integer) =
    if lower > upper then nil
    else PopluateIntUniverseRecursive(lower+1, upper);

op PopluateIntUniverseBounded(lower:integer, upper:integer) =
    forall (i in [lower .. upper]) true;