{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"self.cx.ctor_arity(ctor,"}]}
        self.cx.ctor_arity(ctor, self.ty)
    fn ctor_arity(&self, ctor: &Constructor<Cx>) -> usize {
    }