{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"pub"}]}
    pub define_opaque: Option<ThinVec<(NodeId, Path)>>,
    pub contract: Option<P<FnContract>>,
    pub body: Option<P<Block>>,