simple-adt
API
Generated with
simple-adt/net.scalax.simple.adt/net.scalax.simple.adt.impl/Adt

Adt

net.scalax.simple.adt.impl.Adt$
object Adt extends TypeAdtAlias, TypeAdtRuntimeApply, TypeAdtAliasModel, TypeAdtAliasModelUnapply

Attributes

Graph
Supertypes
trait TypeAdtAlias
class Object
trait Matchable
class Any
Show all
Self type
Adt.type

Members list

Type members

Classlikes

class Adapter[Target, Poly](val value: Target)

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Adapter

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Adapter.type
object Context

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Context.type
trait Context[In, Out, Poly]

Attributes

Companion
object
Supertypes
class Any
object Status

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Status.type
sealed trait Status

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class NotFinished
class Passed

Inherited classlikes

object Option1

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any
object Option10

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any
object Option11

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any
object Option12

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any
object Option13

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any
object Option14

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any
object Option15

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any
object Option16

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any
object Option17

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any
object Option18

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any
object Option19

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any
object Option2

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any
object Option20

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any
object Option21

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any
object Option22

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any
object Option3

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any
object Option4

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any
object Option5

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any
object Option6

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any
object Option7

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any
object Option8

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any
object Option9

Attributes

Inherited from:
TypeAdtAliasModelUnapply
Supertypes
class Object
trait Matchable
class Any

Types

Inherited types

type Option1[I1] = ADTData[AdtNatPositive[I1, AdtNatZero], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Option10[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10] = ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatZero]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Option11[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11] = ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatZero]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Option12[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12] = ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatZero]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Option13[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13] = ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatZero]]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Option14[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14] = ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatZero]]]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Option15[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15] = ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatZero]]]]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Option16[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16] = ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatZero]]]]]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Option17[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17] = ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatZero]]]]]]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Option18[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17, I18] = ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatPositive[I18, AdtNatZero]]]]]]]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Option19[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17, I18, I19] = ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatPositive[I18, AdtNatPositive[I19, AdtNatZero]]]]]]]]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Option2[I1, I2] = ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatZero]], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Option20[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17, I18, I19, I20] = ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatPositive[I18, AdtNatPositive[I19, AdtNatPositive[I20, AdtNatZero]]]]]]]]]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Option21[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17, I18, I19, I20, I21] = ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatPositive[I18, AdtNatPositive[I19, AdtNatPositive[I20, AdtNatPositive[I21, AdtNatZero]]]]]]]]]]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Option22[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17, I18, I19, I20, I21, I22] = ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatPositive[I18, AdtNatPositive[I19, AdtNatPositive[I20, AdtNatPositive[I21, AdtNatPositive[I22, AdtNatZero]]]]]]]]]]]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Option3[I1, I2, I3] = ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatZero]]], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Option4[I1, I2, I3, I4] = ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatZero]]]], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Option5[I1, I2, I3, I4, I5] = ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatZero]]]]], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Option6[I1, I2, I3, I4, I5, I6] = ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatZero]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Option7[I1, I2, I3, I4, I5, I6, I7] = ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatZero]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Option8[I1, I2, I3, I4, I5, I6, I7, I8] = ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatZero]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Option9[I1, I2, I3, I4, I5, I6, I7, I8, I9] = ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatZero]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAliasModel
type Options1[A, I1] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatZero], Passed]

Attributes

Inherited from:
TypeAdtAlias
type Options10[A, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatZero]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAlias
type Options11[A, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatZero]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAlias
type Options12[A, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatZero]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAlias
type Options13[A, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatZero]]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAlias
type Options14[A, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatZero]]]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAlias
type Options15[A, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatZero]]]]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAlias
type Options16[A, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatZero]]]]]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAlias
type Options17[A, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatZero]]]]]]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAlias
type Options18[A, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17, I18] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatPositive[I18, AdtNatZero]]]]]]]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAlias
type Options19[A, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17, I18, I19] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatPositive[I18, AdtNatPositive[I19, AdtNatZero]]]]]]]]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAlias
type Options2[A, I1, I2] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatZero]], Passed]

Attributes

Inherited from:
TypeAdtAlias
type Options20[A, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17, I18, I19, I20] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatPositive[I18, AdtNatPositive[I19, AdtNatPositive[I20, AdtNatZero]]]]]]]]]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAlias
type Options21[A, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17, I18, I19, I20, I21] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatPositive[I18, AdtNatPositive[I19, AdtNatPositive[I20, AdtNatPositive[I21, AdtNatZero]]]]]]]]]]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAlias
type Options22[A, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17, I18, I19, I20, I21, I22] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatPositive[I18, AdtNatPositive[I19, AdtNatPositive[I20, AdtNatPositive[I21, AdtNatPositive[I22, AdtNatZero]]]]]]]]]]]]]]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAlias
type Options3[A, I1, I2, I3] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatZero]]], Passed]

Attributes

Inherited from:
TypeAdtAlias
type Options4[A, I1, I2, I3, I4] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatZero]]]], Passed]

Attributes

Inherited from:
TypeAdtAlias
type Options5[A, I1, I2, I3, I4, I5] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatZero]]]]], Passed]

Attributes

Inherited from:
TypeAdtAlias
type Options6[A, I1, I2, I3, I4, I5, I6] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatZero]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAlias
type Options7[A, I1, I2, I3, I4, I5, I6, I7] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatZero]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAlias
type Options8[A, I1, I2, I3, I4, I5, I6, I7, I8] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatZero]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAlias
type Options9[A, I1, I2, I3, I4, I5, I6, I7, I8, I9] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatZero]]]]]]]]], Passed]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX1[A, ST <: Status, I1] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatZero], ST]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX10[A, ST <: Status, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatZero]]]]]]]]]], ST]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX11[A, ST <: Status, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatZero]]]]]]]]]]], ST]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX12[A, ST <: Status, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatZero]]]]]]]]]]]], ST]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX13[A, ST <: Status, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatZero]]]]]]]]]]]]], ST]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX14[A, ST <: Status, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatZero]]]]]]]]]]]]]], ST]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX15[A, ST <: Status, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatZero]]]]]]]]]]]]]]], ST]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX16[A, ST <: Status, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatZero]]]]]]]]]]]]]]]], ST]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX17[A, ST <: Status, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatZero]]]]]]]]]]]]]]]]], ST]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX18[A, ST <: Status, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17, I18] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatPositive[I18, AdtNatZero]]]]]]]]]]]]]]]]]], ST]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX19[A, ST <: Status, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17, I18, I19] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatPositive[I18, AdtNatPositive[I19, AdtNatZero]]]]]]]]]]]]]]]]]]], ST]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX2[A, ST <: Status, I1, I2] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatZero]], ST]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX20[A, ST <: Status, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17, I18, I19, I20] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatPositive[I18, AdtNatPositive[I19, AdtNatPositive[I20, AdtNatZero]]]]]]]]]]]]]]]]]]]], ST]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX21[A, ST <: Status, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17, I18, I19, I20, I21] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatPositive[I18, AdtNatPositive[I19, AdtNatPositive[I20, AdtNatPositive[I21, AdtNatZero]]]]]]]]]]]]]]]]]]]]], ST]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX22[A, ST <: Status, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17, I18, I19, I20, I21, I22] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatPositive[I18, AdtNatPositive[I19, AdtNatPositive[I20, AdtNatPositive[I21, AdtNatPositive[I22, AdtNatZero]]]]]]]]]]]]]]]]]]]]]], ST]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX3[A, ST <: Status, I1, I2, I3] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatZero]]], ST]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX4[A, ST <: Status, I1, I2, I3, I4] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatZero]]]], ST]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX5[A, ST <: Status, I1, I2, I3, I4, I5] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatZero]]]]], ST]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX6[A, ST <: Status, I1, I2, I3, I4, I5, I6] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatZero]]]]]], ST]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX7[A, ST <: Status, I1, I2, I3, I4, I5, I6, I7] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatZero]]]]]]], ST]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX8[A, ST <: Status, I1, I2, I3, I4, I5, I6, I7, I8] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatZero]]]]]]]], ST]

Attributes

Inherited from:
TypeAdtAlias
type OptionsX9[A, ST <: Status, I1, I2, I3, I4, I5, I6, I7, I8, I9] = TypeAdtApply[A, AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatZero]]]]]]]]], ST]

Attributes

Inherited from:
TypeAdtAlias

Value members

Inherited methods

def Options1[I1]: ApplyFactory[AdtNatPositive[I1, AdtNatZero]]

Attributes

Inherited from:
TypeAdtRuntimeApply
def Options10[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10]: ApplyFactory[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatZero]]]]]]]]]]]

Attributes

Inherited from:
TypeAdtRuntimeApply
def Options11[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11]: ApplyFactory[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatZero]]]]]]]]]]]]

Attributes

Inherited from:
TypeAdtRuntimeApply
def Options12[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12]: ApplyFactory[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatZero]]]]]]]]]]]]]

Attributes

Inherited from:
TypeAdtRuntimeApply
def Options13[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13]: ApplyFactory[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatZero]]]]]]]]]]]]]]

Attributes

Inherited from:
TypeAdtRuntimeApply
def Options14[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14]: ApplyFactory[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatZero]]]]]]]]]]]]]]]

Attributes

Inherited from:
TypeAdtRuntimeApply
def Options15[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15]: ApplyFactory[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatZero]]]]]]]]]]]]]]]]

Attributes

Inherited from:
TypeAdtRuntimeApply
def Options16[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16]: ApplyFactory[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatZero]]]]]]]]]]]]]]]]]

Attributes

Inherited from:
TypeAdtRuntimeApply
def Options17[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17]: ApplyFactory[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatZero]]]]]]]]]]]]]]]]]]

Attributes

Inherited from:
TypeAdtRuntimeApply
def Options18[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17, I18]: ApplyFactory[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatPositive[I18, AdtNatZero]]]]]]]]]]]]]]]]]]]

Attributes

Inherited from:
TypeAdtRuntimeApply
def Options19[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17, I18, I19]: ApplyFactory[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatPositive[I18, AdtNatPositive[I19, AdtNatZero]]]]]]]]]]]]]]]]]]]]

Attributes

Inherited from:
TypeAdtRuntimeApply
def Options2[I1, I2]: ApplyFactory[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatZero]]]

Attributes

Inherited from:
TypeAdtRuntimeApply
def Options20[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17, I18, I19, I20]: ApplyFactory[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatPositive[I18, AdtNatPositive[I19, AdtNatPositive[I20, AdtNatZero]]]]]]]]]]]]]]]]]]]]]

Attributes

Inherited from:
TypeAdtRuntimeApply
def Options21[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17, I18, I19, I20, I21]: ApplyFactory[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatPositive[I18, AdtNatPositive[I19, AdtNatPositive[I20, AdtNatPositive[I21, AdtNatZero]]]]]]]]]]]]]]]]]]]]]]

Attributes

Inherited from:
TypeAdtRuntimeApply
def Options22[I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, I16, I17, I18, I19, I20, I21, I22]: ApplyFactory[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatPositive[I10, AdtNatPositive[I11, AdtNatPositive[I12, AdtNatPositive[I13, AdtNatPositive[I14, AdtNatPositive[I15, AdtNatPositive[I16, AdtNatPositive[I17, AdtNatPositive[I18, AdtNatPositive[I19, AdtNatPositive[I20, AdtNatPositive[I21, AdtNatPositive[I22, AdtNatZero]]]]]]]]]]]]]]]]]]]]]]]

Attributes

Inherited from:
TypeAdtRuntimeApply
def Options3[I1, I2, I3]: ApplyFactory[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatZero]]]]

Attributes

Inherited from:
TypeAdtRuntimeApply
def Options4[I1, I2, I3, I4]: ApplyFactory[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatZero]]]]]

Attributes

Inherited from:
TypeAdtRuntimeApply
def Options5[I1, I2, I3, I4, I5]: ApplyFactory[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatZero]]]]]]

Attributes

Inherited from:
TypeAdtRuntimeApply
def Options6[I1, I2, I3, I4, I5, I6]: ApplyFactory[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatZero]]]]]]]

Attributes

Inherited from:
TypeAdtRuntimeApply
def Options7[I1, I2, I3, I4, I5, I6, I7]: ApplyFactory[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatZero]]]]]]]]

Attributes

Inherited from:
TypeAdtRuntimeApply
def Options8[I1, I2, I3, I4, I5, I6, I7, I8]: ApplyFactory[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatZero]]]]]]]]]

Attributes

Inherited from:
TypeAdtRuntimeApply
def Options9[I1, I2, I3, I4, I5, I6, I7, I8, I9]: ApplyFactory[AdtNatPositive[I1, AdtNatPositive[I2, AdtNatPositive[I3, AdtNatPositive[I4, AdtNatPositive[I5, AdtNatPositive[I6, AdtNatPositive[I7, AdtNatPositive[I8, AdtNatPositive[I9, AdtNatZero]]]]]]]]]]

Attributes

Inherited from:
TypeAdtRuntimeApply
Generated with