Skip to main content

Module types

oxilean_std::env_builder

Module types 

Source
Expand description

Auto-generated module

🤖 Generated with SplitRS

Structs§

EnvBuilder
A thin wrapper around Environment providing convenience methods for registering axioms and definitions during standard library initialisation.