package cs.types;

typedef UInt64 = cs.StdTypes.UInt64;