idl property

Record idl
getter/setter pair

Implementation

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