motoko - 为 Motoko 中的字段转义保留关键字

Question

作为保留关键字的字段名称如何能够“转义”以在类型中使用？

type User = {
    type: Text; // `type` cant be used since its reserved
};

我希望能够返回字段名称为type.

是否有字符前缀或其他东西，以便在请求中序列化时输出“类型”？

该字段或某种序列化修饰以指定“类型”

Answer 1

从文档： If the field name is a reserved name in Motoko, an undescore is appended. So record { if : bool } corresponds to { if_ : Bool }.