idl property

Record idl
getter/setter pair

Implementation

static Record idl = IDL.Record({'secs': IDL.Nat64, 'nanos': IDL.Nat32});