Function parse_declarations 

pub fn parse_declarations(source: &str, file: &str) -> Vec<Declaration>

Parse all theorem/lemma/axiom declarations from a .lean source string.