idl property

Record idl
getter/setter pair

Implementation

static Record idl = IDL.Record({'e8s': IDL.Nat64});