Skip to main content

verify_binders

polydat_core::binder

Function verify_binders 

Source 
pub fn verify_binders(
    binders: &[Binder],
    wire_type: impl Fn(&str) -> Option<PortType>,
) -> Vec<BinderViolation>
Expand description

Every slot whose wire type cannot satisfy its lvalue type, given a lookup from wire name to the program’s type for it.