corset

type CompilationConfig = compiler.Config

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

type Enumeration map[uint64]string

type SourceColumn struct {
	Name string
	// Length Multiplier of source-level column.
	Multiplier uint
	// Underlying bitwidth of the source-level column.
	Bitwidth uint
	// Provability requirement for source-level column.
	MustProve bool
	// Determines whether this is a Computed column.
	Computed bool
	// Display modifier for column. Here 0-256 are reserved, and values >256 are
	// entries in Enumerations map.  More specifically, 0=hex, 1=dec, 2=bytes.
	Display uint
	// Register in the generate schema to which this Corset register is mapped.
	// Observe that this has to be a reference, rather than just an ID.  This is
	// because a column in a given corset module may map into a different module
	// in the underlying schema (i.e. for interleavings).
	Register register.Ref
}

type SourceConstant struct {
	Name string
	// value of the constant
	Value big.Int
	// Explicit bitwidth for this constant.  This maybe math.MaxUint if no type
	// was given and, instead, the type should be inferred from context.
	Bitwidth uint
	// Indicates whether this is an "externally visible" constant.  That is, one
	// whose value can be changed after the fact.
	Extern bool
}

type SourceMap struct {
	// Root module correspond to the top-level HIR modules.  Thus, indicates into
	// this table correspond to HIR module indices, etc.
	Root SourceModule
	// Enumerations are custom types for display.  For example, we might want to
	// display opcodes as ADD, MUl, SUB, etc.
	Enumerations []Enumeration
}

type SourceModule struct {
	// Name of this submodule.
	Name string
	// Public indicates whether or not this module is externally visible or not.
	Public bool
	// Synthetic indicates whether or not this module was automatically
	// generated or not.
	Synthetic bool
	// Virtual indicates whether or not this is a "virtual" module.  That is, a
	// module which is artificially embedded in some outer (concrete) module.
	Virtual bool
	// Selector determines when this (sub)module is active.  Specifically, when
	// it evaluates to a non-zero value the module is active.
	Selector util.Option[string]
	// Submodules identifies any (virtual) submodules contained within this.
	// Currently, perspectives are the only form of submodule currently
	// supported.
	Submodules []SourceModule
	// Columns identifies any columns defined in this module.  Observe that
	// columns across modules are mapped to registers in a many-to-one fashion.
	Columns []SourceColumn
	// Constants identifiers any constants defined in this module.
	Constants []SourceConstant
}

type SyntaxError = source.SyntaxError