1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

use erg_common::vis::Visibility;

use erg_type::constructors::{proc0, proc1};
use erg_type::Type;
use Type::*;

use crate::context::Context;
use crate::varinfo::Mutability;
use Mutability::*;
use Visibility::*;

impl Context {
    pub(crate) fn init_py_time_mod() -> Self {
        let mut time = Context::module("time".into(), None, 15);
        time.register_builtin_impl("sleep!", proc1(Float, NoneType), Immutable, Public);
        time.register_builtin_impl("time!", proc0(Float), Immutable, Public);
        time
    }
}