Type alias CheckedType

CheckedType: "none" | "semi" | "full"

Represents a checked type.