Skip to main content

is_ground

oxilean_kernel::level::functions

Function is_ground 

Source 
pub fn is_ground(l: &Level) -> bool
Expand description

Check if a level expression is ground (no parameters, no mvars).