PURE

data object PURE : Input.InputKind

A move value serialized as BCS.