transpiler

type Constant struct {
	Name  string
	Type  string
	Value string
}

type EitherFieldInfo struct {
	LeftFieldNames []string // snake_case names of left branch fields
	LeftType       string   // combined left type (tuple if multiple)
	RightFieldName string   // snake_case name of right branch field
	RightType      string   // right branch type
}

type Function struct {
	Name       string
	Parameters []Parameter
	ReturnType string
	Body       string
}

type JetCall struct {
	VarName    string // Variable name being assigned (empty if inline)
	JetName    string // Simplicity jet name
	Args       string // Comma-separated arguments
	ReturnType string // Return type from jet registry
	IsWitness  bool   // True if argument should come from witness
}

type MatchCase struct {
	Pattern   string   // "Left", "Right", "Some", "None"
	VarName   string   // The variable name bound in the case
	VarType   string   // The type of the bound variable
	BodyStmts []string // Statements in the case body
}

type MatchExpression struct {
	Scrutinee     string      // The expression being matched
	ScrutineeType string      // The type of the scrutinee (e.g., "Either<u256, [u8; 64]>")
	Cases         []MatchCase // The cases
	IsBoolMatch   bool        // true for boolean if/else (true/false patterns)
}

type Parameter struct {
	Name string
	Type string
}

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

type UnrolledLoop struct {
	IndexVar   string
	Iterations int
	BodyStmts  [][]string // Body statements for each iteration
}

type WitnessValue struct {
	Name       string
	Type       string
	Value      string
	GoTypeName string // Original Go struct type name, for Either field lookup
}