Descriptions.Metrics
val idle_time : (Types.Loop.t Ctypes_static.ptr -> Unsigned.uint64 F.return) F.result