to_dafny

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