Skip to main content

MAX_STACK_DEPTH

charon_lib::utils

Constant MAX_STACK_DEPTH 

Source 
const MAX_STACK_DEPTH: usize = 1024;