Function pocket_prover::path1_lennm

pub fn path1_lennm(f: usize, x: usize) -> u64

Path Semantical Logic: Computes number of cases.

For proof of formula, see https://github.com/advancedresearch/path_semantics/blob/master/papers-wip/complexity-of-path-semantical-logic.pdf