Adaptive tuples with non-strict elements. It is usually not necessary to import this module unless you need to construct custom reification functions.
Documentation
data ATuple20 s[ajat] a[ajau] Source
ATuple20 a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] a[ajau] |
data ATuple19 s[ajar] a[ajas] Source
ATuple19 a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] a[ajas] |
data ATuple18 s[ajap] a[ajaq] Source
ATuple18 a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] a[ajaq] |
data ATuple17 s[ajan] a[ajao] Source
ATuple17 a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] a[ajao] |
data ATuple16 s[ajal] a[ajam] Source
ATuple16 a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] a[ajam] |
data ATuple15 s[ajaj] a[ajak] Source
ATuple15 a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] a[ajak] |
data ATuple14 s[ajah] a[ajai] Source
ATuple14 a[ajai] a[ajai] a[ajai] a[ajai] a[ajai] a[ajai] a[ajai] a[ajai] a[ajai] a[ajai] a[ajai] a[ajai] a[ajai] a[ajai] |
data ATuple13 s[ajaf] a[ajag] Source
ATuple13 a[ajag] a[ajag] a[ajag] a[ajag] a[ajag] a[ajag] a[ajag] a[ajag] a[ajag] a[ajag] a[ajag] a[ajag] a[ajag] |
data ATuple12 s[ajad] a[ajae] Source
ATuple12 a[ajae] a[ajae] a[ajae] a[ajae] a[ajae] a[ajae] a[ajae] a[ajae] a[ajae] a[ajae] a[ajae] a[ajae] |
data ATuple11 s[ajab] a[ajac] Source
ATuple11 a[ajac] a[ajac] a[ajac] a[ajac] a[ajac] a[ajac] a[ajac] a[ajac] a[ajac] a[ajac] a[ajac] |
data ATuple10 s[aja9] a[ajaa] Source
ATuple10 a[ajaa] a[ajaa] a[ajaa] a[ajaa] a[ajaa] a[ajaa] a[ajaa] a[ajaa] a[ajaa] a[ajaa] |
data ATuple9 s[aja7] a[aja8] Source
ATuple9 a[aja8] a[aja8] a[aja8] a[aja8] a[aja8] a[aja8] a[aja8] a[aja8] a[aja8] |
data ATuple8 s[aja5] a[aja6] Source
ATuple8 a[aja6] a[aja6] a[aja6] a[aja6] a[aja6] a[aja6] a[aja6] a[aja6] |