readback_hvm_net

bend

Function readback_hvm_net 

Source 
pub fn readback_hvm_net(
    net: &Net,
    book: &Book,
    labels: &Labels,
    linear: bool,
    adt_encoding: AdtEncoding,
) -> (Term, Diagnostics)