Function contracts 

pub fn contracts(s: &Session, _args: &Args<'_>) -> Result<Answer, String>