Function agda_mode::agda::deserialize_agda

pub fn deserialize_agda<'a, T: Deserialize<'a>>(buf: &'a str) -> Result<T>

Deserialize from Agda's command line output.