max-primitives
Fundamental primitive types for pro! smart contracts