Skip to main content

build_env

oxilean_std::program_logics::functions

Function build_env 

Source 
pub fn build_env() -> Result<Environment, String>
Expand description

Build a kernel environment with all program-logics axioms. (Alias for build_program_logics_env returning a Result.)