to_dafny

pub fn to_dafny(value: &AlgorithmSuiteInfo) -> Rc<AlgorithmSuiteInfo>