Skip to main content

build_env

oxilean_std::functional_programming::functions

Function build_env 

Source 
pub fn build_env(env: &mut Environment)
Expand description

Build the functional programming foundations environment: register all axioms.