use crate::{print, println};

pub fn forall() {
    println!("forall");
}