idl property

Record idl
getter/setter pair

Implementation

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