Struct DeclaredPrecision 

pub struct DeclaredPrecision<'a> { /* private fields */ }

2026-09-30: The checkpoint’s declared formats as an EdgePrecision.

Implementations

impl<'a> DeclaredPrecision<'a>

pub fn new(plan: &'a DeclaredPrecisionPlan) -> Self

2026-09-30: Answer from plan.

pub fn refusals(&self) -> Vec<String>

2026-09-30: Every module asked whose declaration has no circuit format, with why.

Trait Implementations

impl EdgePrecision for DeclaredPrecision<'_>

fn linear(&self, module: &str) -> LinearFormats

2026-09-28: The formats module runs at.