ct_env

Function ct_env 

Source
pub fn ct_env() -> Rc<CTEnv>
Expand description

Fetch the current CTEnv