Skip to main content

resolution_width_ty

oxilean_std::complexity::functions

Function resolution_width_ty 

Source 
pub fn resolution_width_ty() -> Expr
Expand description

Width of a resolution refutation