pub fn build_env(env: &mut Environment)Expand description
Build the functional programming foundations environment: register all axioms.
pub fn build_env(env: &mut Environment)Build the functional programming foundations environment: register all axioms.