Data Types Pickle Serialization Passing Python records to Java operations Improve serialization and deserialization performance Supported Data Types Data Types In Apache Fli...

Record Types Example: the Pair type constructor Declaring, constructing and decomposing records Declaring record types Constructing record values Building records from modules ...

Sized Types Example for coinduction: finite languages Testing References Sized Types Note This is a stub. Sizes help the termination checker by tracking the depth of data s...

Data Types Pickle Serialization Passing Python records to Java operations Improve serialization and deserialization performance Supported Data Types Data Types In Apache Fli...

Structured types Structured types A variable of a structured type can hold multiple values at the same time. Structured types can be nested to unlimited levels. Arrays, sequenc...

Rig Types Rig Types Rig types are components used by Rigify to process specific parts of the meta-rig when generating the armature. They represent common character features, lik...

Animation Track types Property Track Position 3D / Rotation 3D / Scale 3D Track Blend Shape Track Call Method Track Bezier Curve Track Audio Playback Track Animation Playback...