{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"FloatTy::F16"}]}
                FloatTy::F16 => BuiltinFloat::F16,
                FloatTy::F32 => BuiltinFloat::F32,
            })),