use crate::types::*;
use indexmap::IndexMap;
-use lazy_static::lazy_static;
use ordered_float::OrderedFloat;
use rand::rngs::StdRng;
use std::path::PathBuf;
use std::process::ExitCode;
use std::sync::atomic::AtomicBool;
-use std::sync::OnceLock;
+use std::sync::{LazyLock, OnceLock};
-lazy_static! {
- pub static ref INTERRUPT: AtomicBool = AtomicBool::new(false);
-}
+pub static INTERRUPT: LazyLock<AtomicBool> = LazyLock::new(|| AtomicBool::new(false));
/// An instance of Scryer Prolog.
///
use base64::Engine;
use dashu::integer::{Sign, UBig};
-use lazy_static::lazy_static;
use num_order::NumOrd;
use crate::arena::*;
use std::process::Stdio;
#[cfg(feature = "http")]
use std::str::FromStr;
+use std::sync::LazyLock;
#[cfg(feature = "http")]
use std::sync::{Arc, Condvar, Mutex};
fn rng() -> &'static dyn SecureRandom {
use std::ops::Deref;
- lazy_static! {
- static ref RANDOM: SystemRandom = SystemRandom::new();
- }
+ static RANDOM: LazyLock<SystemRandom> = LazyLock::new(|| SystemRandom::new());
RANDOM.deref()
}