types

type MatchArm struct {
	Pattern string // "Left(data)" or "Right(sig)" or "Some(val)" or "None"
	VarName string // The bound variable name (data, sig, val, etc.)
	VarType string // The type of the bound variable
	Body    string // The body of the match arm
}

type MatchExpr struct {
	Scrutinee string     // The expression being matched (e.g., "witness::DATA")
	Arms      []MatchArm // The match arms
}

type SumType struct {
	Kind      SumTypeKind
	LeftType  string // For Either: left type, For Option: the inner type
	RightType string // For Either: right type, For Option: unused
}

type SumTypeKind int

type TupleType struct {
	Elements []string
}

type TypeMapper struct {
	// contains filtered or unexported fields
}