PartitionConstraint

class tierkreis.core.types.PartitionConstraint(left: TierkreisType, right: TierkreisType, union: TierkreisType)

Bases: Constraint

A type is constrained to be a union of two other types.

Methods

from_proto
to_proto

Attributes

left
right
union