{"ast_node_type":"struct","tokens":[{"end":23,"kind":"keyword","start":0,"text":"pub"}]}
pub struct FnContract {
#[derive(Clone, Encodable, Decodable, Debug, Default, Walkable)]
    pub requires: Option<P<Expr>>,