Function deserialize_agda 

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

Deserialize from Agda’s command line output.