mddmb

type AtomCmd interface{ Atom(*mdd.Atom) error }

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

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

type AttributeCmd interface{ Attribute(*mdd.Attribute) error }

type ClassCmd interface{ Class(*mdd.Class) error }

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

type ClassVar = typeVar[*mdd.Class]

type CommonTypes struct {
	// Use this to represent Boolean values
	Bool AtomVar

	// The integer numbers ℤ
	Integer AtomVar

	// Natural numbers including zero ℕ∪{0}
	NonNegInt AtomVar

	// Natural numbers ℕ (according to Peano's original formulation i.e. 0∉ℕ)
	PositiveInt AtomVar

	// Real numbers ℝ (somewhat hard to completely map to implementations)
	Real AtomVar

	// The subset of ℝ that can be exactly represented as a decimal numeral
	Decimal AtomVar

	// Sequence of symbols (most often implemented by a notion of computer
	// string)
	Text AtomVar

	// Denotes a specific day on earth. Its up to you if you consider it to be
	// with or without time-zone.
	Date AtomVar

	// Wall-clock time, independent of any date. Its up to you if you consider
	// it to be with or without time-zone.
	Time AtomVar

	// A precise instant in time.  Its up to you if you consider it to be with
	// or without time-zone.
	Timestamp AtomVar
}

type Comparability mdd.Comparability

type EnumCmd interface{ Enum(*mdd.Enum) error }

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

type EnumVar = typeVar[*mdd.Enum]

type Extends []*ClassVar

type Literals []string

type Many uint

type ModelCmd interface{ Model(*mdd.Model) error }

type Mult struct{ Min, Max uint }

type Num uint

type PackageCmd interface{ Package(*mdd.Package) error }

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