[{"name":"NNat","comment":" Representing natural numbers (`>=0`).\n\n\nThis module lets you represent exact values in the `NNat` type.\n\n\nThis means, packages like [elm-n-array](https://package.elm-lang.org/packages/indique/elm-n-array/latest/) can use a `NNat` to promise:\n\n\n    fromRepeating : NNat n -> element -> NArray n element\n→ repeating an element n times gives a Array with n elements!\n\n\nThe other use is to describe a difference between two values.\n\n\n    interval :\n        { first : NNat (N first Is (Difference range To last))\n        , last : NNat (N last Is lastDifference)\n        }\n    -> Interval\n    → because `range` is 0 or positive, `last` must also be at least as high as `first`.\nSee the readme for more information.\n\n\n@docs NNat\n## transform\n\n\n@docs toInt\n## values\n\n\n@docs n0, n1, n10, n100, n101, n102, n103, n104, n105, n106, n107, n108, n109, n11, n110, n111, n112\n@docs n113, n114, n115, n116, n117, n118, n119, n12, n120, n121, n122, n123, n124, n125, n126, n127\n@docs n128, n129, n13, n130, n131, n132, n133, n134, n135, n136, n137, n138, n139, n14, n140, n141\n@docs n142, n143, n144, n145, n146, n147, n148, n149, n15, n150, n151, n152, n153, n154, n155, n156\n@docs n157, n158, n159, n16, n160, n161, n162, n163, n164, n165, n166, n167, n168, n169, n17, n170\n@docs n171, n172, n173, n174, n175, n176, n177, n178, n179, n18, n180, n181, n182, n183, n184, n185\n@docs n186, n187, n188, n189, n19, n190, n191, n192, n2, n20, n21, n22, n23, n24, n25, n26, n27, n28, n29\n@docs n3, n30, n31, n32, n33, n34, n35, n36, n37, n38, n39, n4, n40, n41, n42, n43, n44, n45, n46, n47, n48, n49\n@docs n5, n50, n51, n52, n53, n54, n55, n56, n57, n58, n59, n6, n60, n61, n62, n63, n64, n65, n66, n67, n68, n69\n@docs n7, n70, n71, n72, n73, n74, n75, n76, n77, n78, n79, n8, n80, n81, n82, n83, n84, n85, n86, n87, n88, n89\n@docs n9, n90, n91, n92, n93, n94, n95, n96, n97, n98, n99\n## add\n\n\n@docs add1, add10, add100, add101, add102, add103, add104, add105, add106, add107, add108\n@docs add109, add11, add110, add111, add112, add113, add114, add115, add116, add117\n@docs add118, add119, add12, add120, add121, add122, add123, add124, add125, add126\n@docs add127, add128, add13, add14, add15, add16, add17, add18, add19, add2, add20, add21\n@docs add22, add23, add24, add25, add26, add27, add28, add29, add3, add30, add31, add32, add33\n@docs add34, add35, add36, add37, add38, add39, add4, add40, add41, add42, add43, add44, add45\n@docs add46, add47, add48, add49, add5, add50, add51, add52, add53, add54, add55, add56, add57\n@docs add58, add59, add6, add60, add61, add62, add63, add64, add65, add66, add67, add68, add69\n@docs add7, add70, add71, add72, add73, add74, add75, add76, add77, add78, add79, add8, add80\n@docs add81, add82, add83, add84, add85, add86, add87, add88, add89, add9, add90, add91, add92\n@docs add93, add94, add95, add96, add97, add98, add99\n## at least\n\n\n@docs sub1, sub10, sub100, sub101, sub102, sub103, sub104, sub105, sub106, sub107, sub108\n@docs sub109, sub11, sub110, sub111, sub112, sub113, sub114, sub115, sub116, sub117\n@docs sub118, sub119, sub12, sub120, sub121, sub122, sub123, sub124, sub125, sub126\n@docs sub127, sub128, sub13, sub14, sub15, sub16, sub17, sub18, sub19, sub2, sub20, sub21\n@docs sub22, sub23, sub24, sub25, sub26, sub27, sub28, sub29, sub3, sub30, sub31, sub32, sub33\n@docs sub34, sub35, sub36, sub37, sub38, sub39, sub4, sub40, sub41, sub42, sub43, sub44, sub45\n@docs sub46, sub47, sub48, sub49, sub5, sub50, sub51, sub52, sub53, sub54, sub55, sub56, sub57\n@docs sub58, sub59, sub6, sub60, sub61, sub62, sub63, sub64, sub65, sub66, sub67, sub68, sub69\n@docs sub7, sub70, sub71, sub72, sub73, sub74, sub75, sub76, sub77, sub78, sub79, sub8, sub80\n@docs sub81, sub82, sub83, sub84, sub85, sub86, sub87, sub88, sub89, sub9, sub90, sub91, sub92\n@docs sub93, sub94, sub95, sub96, sub97, sub98, sub99\n","unions":[],"aliases":[{"name":"NNat","comment":" A natural number (`<= 0`), where you know the exact value.\n\n\n`NNat.n3` is of type\n\n\n    NNat (N N3Nat Is (Difference a To (N3NatPlus a)))\nThis means, its exact value can be described as\n\n\n  - `N3Nat`\n\n\n  - the `Diffence` of some `a` to `a` plus 3.\n\n\n","args":["n"],"type":"Internal.NNat n"}],"values":[{"name":"add1","comment":" The `NNat` plus 1.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N1Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N1Plus nPlusA)))"},{"name":"add10","comment":" The `NNat` plus 10.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N10Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N10Plus nPlusA)))"},{"name":"add100","comment":" The `NNat` plus 100.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N100Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N100Plus nPlusA)))"},{"name":"add101","comment":" The `NNat` plus 101.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N101Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N101Plus nPlusA)))"},{"name":"add102","comment":" The `NNat` plus 102.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N102Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N102Plus nPlusA)))"},{"name":"add103","comment":" The `NNat` plus 103.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N103Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N103Plus nPlusA)))"},{"name":"add104","comment":" The `NNat` plus 104.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N104Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N104Plus nPlusA)))"},{"name":"add105","comment":" The `NNat` plus 105.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N105Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N105Plus nPlusA)))"},{"name":"add106","comment":" The `NNat` plus 106.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N106Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N106Plus nPlusA)))"},{"name":"add107","comment":" The `NNat` plus 107.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N107Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N107Plus nPlusA)))"},{"name":"add108","comment":" The `NNat` plus 108.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N108Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N108Plus nPlusA)))"},{"name":"add109","comment":" The `NNat` plus 109.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N109Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N109Plus nPlusA)))"},{"name":"add11","comment":" The `NNat` plus 11.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N11Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N11Plus nPlusA)))"},{"name":"add110","comment":" The `NNat` plus 110.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N110Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N110Plus nPlusA)))"},{"name":"add111","comment":" The `NNat` plus 111.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N111Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N111Plus nPlusA)))"},{"name":"add112","comment":" The `NNat` plus 112.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N112Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N112Plus nPlusA)))"},{"name":"add113","comment":" The `NNat` plus 113.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N113Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N113Plus nPlusA)))"},{"name":"add114","comment":" The `NNat` plus 114.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N114Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N114Plus nPlusA)))"},{"name":"add115","comment":" The `NNat` plus 115.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N115Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N115Plus nPlusA)))"},{"name":"add116","comment":" The `NNat` plus 116.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N116Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N116Plus nPlusA)))"},{"name":"add117","comment":" The `NNat` plus 117.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N117Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N117Plus nPlusA)))"},{"name":"add118","comment":" The `NNat` plus 118.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N118Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N118Plus nPlusA)))"},{"name":"add119","comment":" The `NNat` plus 119.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N119Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N119Plus nPlusA)))"},{"name":"add12","comment":" The `NNat` plus 12.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N12Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N12Plus nPlusA)))"},{"name":"add120","comment":" The `NNat` plus 120.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N120Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N120Plus nPlusA)))"},{"name":"add121","comment":" The `NNat` plus 121.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N121Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N121Plus nPlusA)))"},{"name":"add122","comment":" The `NNat` plus 122.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N122Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N122Plus nPlusA)))"},{"name":"add123","comment":" The `NNat` plus 123.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N123Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N123Plus nPlusA)))"},{"name":"add124","comment":" The `NNat` plus 124.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N124Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N124Plus nPlusA)))"},{"name":"add125","comment":" The `NNat` plus 125.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N125Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N125Plus nPlusA)))"},{"name":"add126","comment":" The `NNat` plus 126.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N126Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N126Plus nPlusA)))"},{"name":"add127","comment":" The `NNat` plus 127.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N127Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N127Plus nPlusA)))"},{"name":"add128","comment":" The `NNat` plus 128.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N128Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N128Plus nPlusA)))"},{"name":"add13","comment":" The `NNat` plus 13.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N13Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N13Plus nPlusA)))"},{"name":"add14","comment":" The `NNat` plus 14.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N14Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N14Plus nPlusA)))"},{"name":"add15","comment":" The `NNat` plus 15.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N15Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N15Plus nPlusA)))"},{"name":"add16","comment":" The `NNat` plus 16.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N16Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N16Plus nPlusA)))"},{"name":"add17","comment":" The `NNat` plus 17.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N17Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N17Plus nPlusA)))"},{"name":"add18","comment":" The `NNat` plus 18.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N18Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N18Plus nPlusA)))"},{"name":"add19","comment":" The `NNat` plus 19.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N19Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N19Plus nPlusA)))"},{"name":"add2","comment":" The `NNat` plus 2.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N2Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N2Plus nPlusA)))"},{"name":"add20","comment":" The `NNat` plus 20.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N20Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N20Plus nPlusA)))"},{"name":"add21","comment":" The `NNat` plus 21.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N21Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N21Plus nPlusA)))"},{"name":"add22","comment":" The `NNat` plus 22.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N22Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N22Plus nPlusA)))"},{"name":"add23","comment":" The `NNat` plus 23.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N23Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N23Plus nPlusA)))"},{"name":"add24","comment":" The `NNat` plus 24.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N24Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N24Plus nPlusA)))"},{"name":"add25","comment":" The `NNat` plus 25.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N25Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N25Plus nPlusA)))"},{"name":"add26","comment":" The `NNat` plus 26.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N26Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N26Plus nPlusA)))"},{"name":"add27","comment":" The `NNat` plus 27.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N27Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N27Plus nPlusA)))"},{"name":"add28","comment":" The `NNat` plus 28.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N28Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N28Plus nPlusA)))"},{"name":"add29","comment":" The `NNat` plus 29.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N29Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N29Plus nPlusA)))"},{"name":"add3","comment":" The `NNat` plus 3.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N3Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N3Plus nPlusA)))"},{"name":"add30","comment":" The `NNat` plus 30.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N30Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N30Plus nPlusA)))"},{"name":"add31","comment":" The `NNat` plus 31.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N31Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N31Plus nPlusA)))"},{"name":"add32","comment":" The `NNat` plus 32.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N32Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N32Plus nPlusA)))"},{"name":"add33","comment":" The `NNat` plus 33.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N33Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N33Plus nPlusA)))"},{"name":"add34","comment":" The `NNat` plus 34.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N34Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N34Plus nPlusA)))"},{"name":"add35","comment":" The `NNat` plus 35.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N35Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N35Plus nPlusA)))"},{"name":"add36","comment":" The `NNat` plus 36.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N36Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N36Plus nPlusA)))"},{"name":"add37","comment":" The `NNat` plus 37.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N37Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N37Plus nPlusA)))"},{"name":"add38","comment":" The `NNat` plus 38.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N38Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N38Plus nPlusA)))"},{"name":"add39","comment":" The `NNat` plus 39.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N39Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N39Plus nPlusA)))"},{"name":"add4","comment":" The `NNat` plus 4.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N4Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N4Plus nPlusA)))"},{"name":"add40","comment":" The `NNat` plus 40.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N40Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N40Plus nPlusA)))"},{"name":"add41","comment":" The `NNat` plus 41.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N41Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N41Plus nPlusA)))"},{"name":"add42","comment":" The `NNat` plus 42.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N42Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N42Plus nPlusA)))"},{"name":"add43","comment":" The `NNat` plus 43.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N43Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N43Plus nPlusA)))"},{"name":"add44","comment":" The `NNat` plus 44.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N44Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N44Plus nPlusA)))"},{"name":"add45","comment":" The `NNat` plus 45.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N45Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N45Plus nPlusA)))"},{"name":"add46","comment":" The `NNat` plus 46.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N46Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N46Plus nPlusA)))"},{"name":"add47","comment":" The `NNat` plus 47.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N47Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N47Plus nPlusA)))"},{"name":"add48","comment":" The `NNat` plus 48.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N48Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N48Plus nPlusA)))"},{"name":"add49","comment":" The `NNat` plus 49.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N49Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N49Plus nPlusA)))"},{"name":"add5","comment":" The `NNat` plus 5.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N5Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N5Plus nPlusA)))"},{"name":"add50","comment":" The `NNat` plus 50.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N50Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N50Plus nPlusA)))"},{"name":"add51","comment":" The `NNat` plus 51.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N51Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N51Plus nPlusA)))"},{"name":"add52","comment":" The `NNat` plus 52.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N52Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N52Plus nPlusA)))"},{"name":"add53","comment":" The `NNat` plus 53.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N53Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N53Plus nPlusA)))"},{"name":"add54","comment":" The `NNat` plus 54.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N54Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N54Plus nPlusA)))"},{"name":"add55","comment":" The `NNat` plus 55.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N55Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N55Plus nPlusA)))"},{"name":"add56","comment":" The `NNat` plus 56.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N56Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N56Plus nPlusA)))"},{"name":"add57","comment":" The `NNat` plus 57.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N57Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N57Plus nPlusA)))"},{"name":"add58","comment":" The `NNat` plus 58.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N58Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N58Plus nPlusA)))"},{"name":"add59","comment":" The `NNat` plus 59.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N59Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N59Plus nPlusA)))"},{"name":"add6","comment":" The `NNat` plus 6.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N6Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N6Plus nPlusA)))"},{"name":"add60","comment":" The `NNat` plus 60.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N60Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N60Plus nPlusA)))"},{"name":"add61","comment":" The `NNat` plus 61.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N61Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N61Plus nPlusA)))"},{"name":"add62","comment":" The `NNat` plus 62.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N62Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N62Plus nPlusA)))"},{"name":"add63","comment":" The `NNat` plus 63.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N63Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N63Plus nPlusA)))"},{"name":"add64","comment":" The `NNat` plus 64.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N64Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N64Plus nPlusA)))"},{"name":"add65","comment":" The `NNat` plus 65.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N65Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N65Plus nPlusA)))"},{"name":"add66","comment":" The `NNat` plus 66.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N66Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N66Plus nPlusA)))"},{"name":"add67","comment":" The `NNat` plus 67.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N67Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N67Plus nPlusA)))"},{"name":"add68","comment":" The `NNat` plus 68.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N68Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N68Plus nPlusA)))"},{"name":"add69","comment":" The `NNat` plus 69.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N69Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N69Plus nPlusA)))"},{"name":"add7","comment":" The `NNat` plus 7.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N7Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N7Plus nPlusA)))"},{"name":"add70","comment":" The `NNat` plus 70.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N70Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N70Plus nPlusA)))"},{"name":"add71","comment":" The `NNat` plus 71.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N71Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N71Plus nPlusA)))"},{"name":"add72","comment":" The `NNat` plus 72.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N72Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N72Plus nPlusA)))"},{"name":"add73","comment":" The `NNat` plus 73.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N73Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N73Plus nPlusA)))"},{"name":"add74","comment":" The `NNat` plus 74.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N74Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N74Plus nPlusA)))"},{"name":"add75","comment":" The `NNat` plus 75.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N75Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N75Plus nPlusA)))"},{"name":"add76","comment":" The `NNat` plus 76.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N76Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N76Plus nPlusA)))"},{"name":"add77","comment":" The `NNat` plus 77.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N77Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N77Plus nPlusA)))"},{"name":"add78","comment":" The `NNat` plus 78.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N78Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N78Plus nPlusA)))"},{"name":"add79","comment":" The `NNat` plus 79.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N79Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N79Plus nPlusA)))"},{"name":"add8","comment":" The `NNat` plus 8.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N8Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N8Plus nPlusA)))"},{"name":"add80","comment":" The `NNat` plus 80.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N80Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N80Plus nPlusA)))"},{"name":"add81","comment":" The `NNat` plus 81.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N81Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N81Plus nPlusA)))"},{"name":"add82","comment":" The `NNat` plus 82.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N82Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N82Plus nPlusA)))"},{"name":"add83","comment":" The `NNat` plus 83.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N83Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N83Plus nPlusA)))"},{"name":"add84","comment":" The `NNat` plus 84.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N84Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N84Plus nPlusA)))"},{"name":"add85","comment":" The `NNat` plus 85.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N85Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N85Plus nPlusA)))"},{"name":"add86","comment":" The `NNat` plus 86.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N86Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N86Plus nPlusA)))"},{"name":"add87","comment":" The `NNat` plus 87.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N87Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N87Plus nPlusA)))"},{"name":"add88","comment":" The `NNat` plus 88.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N88Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N88Plus nPlusA)))"},{"name":"add89","comment":" The `NNat` plus 89.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N89Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N89Plus nPlusA)))"},{"name":"add9","comment":" The `NNat` plus 9.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N9Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N9Plus nPlusA)))"},{"name":"add90","comment":" The `NNat` plus 90.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N90Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N90Plus nPlusA)))"},{"name":"add91","comment":" The `NNat` plus 91.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N91Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N91Plus nPlusA)))"},{"name":"add92","comment":" The `NNat` plus 92.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N92Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N92Plus nPlusA)))"},{"name":"add93","comment":" The `NNat` plus 93.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N93Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N93Plus nPlusA)))"},{"name":"add94","comment":" The `NNat` plus 94.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N94Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N94Plus nPlusA)))"},{"name":"add95","comment":" The `NNat` plus 95.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N95Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N95Plus nPlusA)))"},{"name":"add96","comment":" The `NNat` plus 96.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N96Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N96Plus nPlusA)))"},{"name":"add97","comment":" The `NNat` plus 97.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N97Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N97Plus nPlusA)))"},{"name":"add98","comment":" The `NNat` plus 98.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N98Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N98Plus nPlusA)))"},{"name":"add99","comment":" The `NNat` plus 99.\n\n\n","type":"NNat.NNat (N.Type.N n N.Type.Is (N.Type.Difference a N.Type.To nPlusA)) -> NNat.NNat (N.Type.N (N.Nat.Type.N99Plus n) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N99Plus nPlusA)))"},{"name":"n0","comment":" The `NNat` 0.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N0 N.Type.Is (N.Type.Difference a N.Type.To a))"},{"name":"n1","comment":" The `NNat` 1.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N1 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N1Plus a)))"},{"name":"n10","comment":" The `NNat` 10.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N10 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N10Plus a)))"},{"name":"n100","comment":" The `NNat` 100.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N100 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N100Plus a)))"},{"name":"n101","comment":" The `NNat` 101.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N101 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N101Plus a)))"},{"name":"n102","comment":" The `NNat` 102.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N102 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N102Plus a)))"},{"name":"n103","comment":" The `NNat` 103.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N103 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N103Plus a)))"},{"name":"n104","comment":" The `NNat` 104.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N104 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N104Plus a)))"},{"name":"n105","comment":" The `NNat` 105.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N105 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N105Plus a)))"},{"name":"n106","comment":" The `NNat` 106.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N106 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N106Plus a)))"},{"name":"n107","comment":" The `NNat` 107.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N107 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N107Plus a)))"},{"name":"n108","comment":" The `NNat` 108.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N108 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N108Plus a)))"},{"name":"n109","comment":" The `NNat` 109.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N109 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N109Plus a)))"},{"name":"n11","comment":" The `NNat` 11.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N11 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N11Plus a)))"},{"name":"n110","comment":" The `NNat` 110.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N110 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N110Plus a)))"},{"name":"n111","comment":" The `NNat` 111.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N111 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N111Plus a)))"},{"name":"n112","comment":" The `NNat` 112.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N112 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N112Plus a)))"},{"name":"n113","comment":" The `NNat` 113.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N113 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N113Plus a)))"},{"name":"n114","comment":" The `NNat` 114.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N114 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N114Plus a)))"},{"name":"n115","comment":" The `NNat` 115.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N115 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N115Plus a)))"},{"name":"n116","comment":" The `NNat` 116.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N116 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N116Plus a)))"},{"name":"n117","comment":" The `NNat` 117.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N117 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N117Plus a)))"},{"name":"n118","comment":" The `NNat` 118.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N118 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N118Plus a)))"},{"name":"n119","comment":" The `NNat` 119.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N119 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N119Plus a)))"},{"name":"n12","comment":" The `NNat` 12.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N12 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N12Plus a)))"},{"name":"n120","comment":" The `NNat` 120.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N120 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N120Plus a)))"},{"name":"n121","comment":" The `NNat` 121.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N121 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N121Plus a)))"},{"name":"n122","comment":" The `NNat` 122.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N122 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N122Plus a)))"},{"name":"n123","comment":" The `NNat` 123.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N123 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N123Plus a)))"},{"name":"n124","comment":" The `NNat` 124.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N124 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N124Plus a)))"},{"name":"n125","comment":" The `NNat` 125.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N125 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N125Plus a)))"},{"name":"n126","comment":" The `NNat` 126.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N126 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N126Plus a)))"},{"name":"n127","comment":" The `NNat` 127.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N127 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N127Plus a)))"},{"name":"n128","comment":" The `NNat` 128.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N128 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N128Plus a)))"},{"name":"n129","comment":" The `NNat` 129.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N129 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N129Plus a)))"},{"name":"n13","comment":" The `NNat` 13.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N13 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N13Plus a)))"},{"name":"n130","comment":" The `NNat` 130.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N130 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N130Plus a)))"},{"name":"n131","comment":" The `NNat` 131.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N131 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N131Plus a)))"},{"name":"n132","comment":" The `NNat` 132.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N132 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N132Plus a)))"},{"name":"n133","comment":" The `NNat` 133.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N133 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N133Plus a)))"},{"name":"n134","comment":" The `NNat` 134.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N134 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N134Plus a)))"},{"name":"n135","comment":" The `NNat` 135.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N135 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N135Plus a)))"},{"name":"n136","comment":" The `NNat` 136.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N136 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N136Plus a)))"},{"name":"n137","comment":" The `NNat` 137.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N137 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N137Plus a)))"},{"name":"n138","comment":" The `NNat` 138.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N138 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N138Plus a)))"},{"name":"n139","comment":" The `NNat` 139.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N139 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N139Plus a)))"},{"name":"n14","comment":" The `NNat` 14.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N14 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N14Plus a)))"},{"name":"n140","comment":" The `NNat` 140.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N140 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N140Plus a)))"},{"name":"n141","comment":" The `NNat` 141.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N141 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N141Plus a)))"},{"name":"n142","comment":" The `NNat` 142.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N142 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N142Plus a)))"},{"name":"n143","comment":" The `NNat` 143.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N143 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N143Plus a)))"},{"name":"n144","comment":" The `NNat` 144.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N144 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N144Plus a)))"},{"name":"n145","comment":" The `NNat` 145.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N145 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N145Plus a)))"},{"name":"n146","comment":" The `NNat` 146.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N146 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N146Plus a)))"},{"name":"n147","comment":" The `NNat` 147.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N147 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N147Plus a)))"},{"name":"n148","comment":" The `NNat` 148.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N148 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N148Plus a)))"},{"name":"n149","comment":" The `NNat` 149.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N149 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N149Plus a)))"},{"name":"n15","comment":" The `NNat` 15.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N15 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N15Plus a)))"},{"name":"n150","comment":" The `NNat` 150.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N150 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N150Plus a)))"},{"name":"n151","comment":" The `NNat` 151.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N151 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N151Plus a)))"},{"name":"n152","comment":" The `NNat` 152.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N152 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N152Plus a)))"},{"name":"n153","comment":" The `NNat` 153.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N153 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N153Plus a)))"},{"name":"n154","comment":" The `NNat` 154.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N154 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N154Plus a)))"},{"name":"n155","comment":" The `NNat` 155.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N155 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N155Plus a)))"},{"name":"n156","comment":" The `NNat` 156.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N156 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N156Plus a)))"},{"name":"n157","comment":" The `NNat` 157.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N157 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N157Plus a)))"},{"name":"n158","comment":" The `NNat` 158.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N158 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N158Plus a)))"},{"name":"n159","comment":" The `NNat` 159.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N159 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N159Plus a)))"},{"name":"n16","comment":" The `NNat` 16.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N16 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N16Plus a)))"},{"name":"n160","comment":" The `NNat` 160.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N160 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N160Plus a)))"},{"name":"n161","comment":" The `NNat` 161.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N161 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N161Plus a)))"},{"name":"n162","comment":" The `NNat` 162.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N162 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N162Plus a)))"},{"name":"n163","comment":" The `NNat` 163.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N163 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N163Plus a)))"},{"name":"n164","comment":" The `NNat` 164.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N164 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N164Plus a)))"},{"name":"n165","comment":" The `NNat` 165.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N165 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N165Plus a)))"},{"name":"n166","comment":" The `NNat` 166.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N166 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N166Plus a)))"},{"name":"n167","comment":" The `NNat` 167.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N167 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N167Plus a)))"},{"name":"n168","comment":" The `NNat` 168.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N168 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N168Plus a)))"},{"name":"n169","comment":" The `NNat` 169.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N169 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N169Plus a)))"},{"name":"n17","comment":" The `NNat` 17.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N17 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N17Plus a)))"},{"name":"n170","comment":" The `NNat` 170.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N170 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N170Plus a)))"},{"name":"n171","comment":" The `NNat` 171.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N171 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N171Plus a)))"},{"name":"n172","comment":" The `NNat` 172.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N172 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N172Plus a)))"},{"name":"n173","comment":" The `NNat` 173.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N173 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N173Plus a)))"},{"name":"n174","comment":" The `NNat` 174.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N174 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N174Plus a)))"},{"name":"n175","comment":" The `NNat` 175.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N175 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N175Plus a)))"},{"name":"n176","comment":" The `NNat` 176.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N176 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N176Plus a)))"},{"name":"n177","comment":" The `NNat` 177.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N177 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N177Plus a)))"},{"name":"n178","comment":" The `NNat` 178.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N178 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N178Plus a)))"},{"name":"n179","comment":" The `NNat` 179.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N179 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N179Plus a)))"},{"name":"n18","comment":" The `NNat` 18.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N18 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N18Plus a)))"},{"name":"n180","comment":" The `NNat` 180.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N180 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N180Plus a)))"},{"name":"n181","comment":" The `NNat` 181.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N181 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N181Plus a)))"},{"name":"n182","comment":" The `NNat` 182.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N182 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N182Plus a)))"},{"name":"n183","comment":" The `NNat` 183.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N183 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N183Plus a)))"},{"name":"n184","comment":" The `NNat` 184.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N184 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N184Plus a)))"},{"name":"n185","comment":" The `NNat` 185.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N185 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N185Plus a)))"},{"name":"n186","comment":" The `NNat` 186.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N186 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N186Plus a)))"},{"name":"n187","comment":" The `NNat` 187.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N187 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N187Plus a)))"},{"name":"n188","comment":" The `NNat` 188.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N188 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N188Plus a)))"},{"name":"n189","comment":" The `NNat` 189.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N189 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N189Plus a)))"},{"name":"n19","comment":" The `NNat` 19.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N19 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N19Plus a)))"},{"name":"n190","comment":" The `NNat` 190.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N190 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N190Plus a)))"},{"name":"n191","comment":" The `NNat` 191.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N191 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N191Plus a)))"},{"name":"n192","comment":" The `NNat` 192.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N192 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N192Plus a)))"},{"name":"n2","comment":" The `NNat` 2.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N2 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N2Plus a)))"},{"name":"n20","comment":" The `NNat` 20.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N20 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N20Plus a)))"},{"name":"n21","comment":" The `NNat` 21.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N21 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N21Plus a)))"},{"name":"n22","comment":" The `NNat` 22.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N22 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N22Plus a)))"},{"name":"n23","comment":" The `NNat` 23.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N23 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N23Plus a)))"},{"name":"n24","comment":" The `NNat` 24.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N24 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N24Plus a)))"},{"name":"n25","comment":" The `NNat` 25.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N25 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N25Plus a)))"},{"name":"n26","comment":" The `NNat` 26.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N26 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N26Plus a)))"},{"name":"n27","comment":" The `NNat` 27.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N27 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N27Plus a)))"},{"name":"n28","comment":" The `NNat` 28.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N28 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N28Plus a)))"},{"name":"n29","comment":" The `NNat` 29.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N29 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N29Plus a)))"},{"name":"n3","comment":" The `NNat` 3.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N3 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N3Plus a)))"},{"name":"n30","comment":" The `NNat` 30.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N30 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N30Plus a)))"},{"name":"n31","comment":" The `NNat` 31.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N31 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N31Plus a)))"},{"name":"n32","comment":" The `NNat` 32.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N32 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N32Plus a)))"},{"name":"n33","comment":" The `NNat` 33.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N33 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N33Plus a)))"},{"name":"n34","comment":" The `NNat` 34.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N34 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N34Plus a)))"},{"name":"n35","comment":" The `NNat` 35.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N35 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N35Plus a)))"},{"name":"n36","comment":" The `NNat` 36.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N36 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N36Plus a)))"},{"name":"n37","comment":" The `NNat` 37.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N37 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N37Plus a)))"},{"name":"n38","comment":" The `NNat` 38.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N38 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N38Plus a)))"},{"name":"n39","comment":" The `NNat` 39.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N39 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N39Plus a)))"},{"name":"n4","comment":" The `NNat` 4.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N4 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N4Plus a)))"},{"name":"n40","comment":" The `NNat` 40.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N40 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N40Plus a)))"},{"name":"n41","comment":" The `NNat` 41.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N41 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N41Plus a)))"},{"name":"n42","comment":" The `NNat` 42.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N42 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N42Plus a)))"},{"name":"n43","comment":" The `NNat` 43.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N43 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N43Plus a)))"},{"name":"n44","comment":" The `NNat` 44.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N44 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N44Plus a)))"},{"name":"n45","comment":" The `NNat` 45.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N45 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N45Plus a)))"},{"name":"n46","comment":" The `NNat` 46.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N46 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N46Plus a)))"},{"name":"n47","comment":" The `NNat` 47.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N47 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N47Plus a)))"},{"name":"n48","comment":" The `NNat` 48.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N48 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N48Plus a)))"},{"name":"n49","comment":" The `NNat` 49.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N49 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N49Plus a)))"},{"name":"n5","comment":" The `NNat` 5.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N5 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N5Plus a)))"},{"name":"n50","comment":" The `NNat` 50.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N50 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N50Plus a)))"},{"name":"n51","comment":" The `NNat` 51.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N51 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N51Plus a)))"},{"name":"n52","comment":" The `NNat` 52.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N52 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N52Plus a)))"},{"name":"n53","comment":" The `NNat` 53.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N53 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N53Plus a)))"},{"name":"n54","comment":" The `NNat` 54.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N54 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N54Plus a)))"},{"name":"n55","comment":" The `NNat` 55.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N55 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N55Plus a)))"},{"name":"n56","comment":" The `NNat` 56.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N56 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N56Plus a)))"},{"name":"n57","comment":" The `NNat` 57.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N57 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N57Plus a)))"},{"name":"n58","comment":" The `NNat` 58.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N58 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N58Plus a)))"},{"name":"n59","comment":" The `NNat` 59.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N59 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N59Plus a)))"},{"name":"n6","comment":" The `NNat` 6.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N6 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N6Plus a)))"},{"name":"n60","comment":" The `NNat` 60.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N60 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N60Plus a)))"},{"name":"n61","comment":" The `NNat` 61.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N61 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N61Plus a)))"},{"name":"n62","comment":" The `NNat` 62.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N62 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N62Plus a)))"},{"name":"n63","comment":" The `NNat` 63.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N63 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N63Plus a)))"},{"name":"n64","comment":" The `NNat` 64.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N64 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N64Plus a)))"},{"name":"n65","comment":" The `NNat` 65.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N65 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N65Plus a)))"},{"name":"n66","comment":" The `NNat` 66.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N66 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N66Plus a)))"},{"name":"n67","comment":" The `NNat` 67.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N67 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N67Plus a)))"},{"name":"n68","comment":" The `NNat` 68.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N68 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N68Plus a)))"},{"name":"n69","comment":" The `NNat` 69.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N69 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N69Plus a)))"},{"name":"n7","comment":" The `NNat` 7.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N7 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N7Plus a)))"},{"name":"n70","comment":" The `NNat` 70.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N70 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N70Plus a)))"},{"name":"n71","comment":" The `NNat` 71.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N71 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N71Plus a)))"},{"name":"n72","comment":" The `NNat` 72.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N72 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N72Plus a)))"},{"name":"n73","comment":" The `NNat` 73.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N73 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N73Plus a)))"},{"name":"n74","comment":" The `NNat` 74.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N74 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N74Plus a)))"},{"name":"n75","comment":" The `NNat` 75.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N75 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N75Plus a)))"},{"name":"n76","comment":" The `NNat` 76.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N76 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N76Plus a)))"},{"name":"n77","comment":" The `NNat` 77.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N77 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N77Plus a)))"},{"name":"n78","comment":" The `NNat` 78.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N78 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N78Plus a)))"},{"name":"n79","comment":" The `NNat` 79.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N79 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N79Plus a)))"},{"name":"n8","comment":" The `NNat` 8.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N8 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N8Plus a)))"},{"name":"n80","comment":" The `NNat` 80.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N80 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N80Plus a)))"},{"name":"n81","comment":" The `NNat` 81.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N81 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N81Plus a)))"},{"name":"n82","comment":" The `NNat` 82.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N82 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N82Plus a)))"},{"name":"n83","comment":" The `NNat` 83.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N83 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N83Plus a)))"},{"name":"n84","comment":" The `NNat` 84.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N84 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N84Plus a)))"},{"name":"n85","comment":" The `NNat` 85.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N85 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N85Plus a)))"},{"name":"n86","comment":" The `NNat` 86.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N86 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N86Plus a)))"},{"name":"n87","comment":" The `NNat` 87.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N87 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N87Plus a)))"},{"name":"n88","comment":" The `NNat` 88.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N88 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N88Plus a)))"},{"name":"n89","comment":" The `NNat` 89.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N89 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N89Plus a)))"},{"name":"n9","comment":" The `NNat` 9.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N9 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N9Plus a)))"},{"name":"n90","comment":" The `NNat` 90.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N90 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N90Plus a)))"},{"name":"n91","comment":" The `NNat` 91.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N91 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N91Plus a)))"},{"name":"n92","comment":" The `NNat` 92.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N92 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N92Plus a)))"},{"name":"n93","comment":" The `NNat` 93.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N93 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N93Plus a)))"},{"name":"n94","comment":" The `NNat` 94.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N94 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N94Plus a)))"},{"name":"n95","comment":" The `NNat` 95.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N95 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N95Plus a)))"},{"name":"n96","comment":" The `NNat` 96.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N96 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N96Plus a)))"},{"name":"n97","comment":" The `NNat` 97.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N97 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N97Plus a)))"},{"name":"n98","comment":" The `NNat` 98.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N98 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N98Plus a)))"},{"name":"n99","comment":" The `NNat` 99.\n\n\n","type":"NNat.NNat (N.Type.N N.Nat.Type.N99 N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N99Plus a)))"},{"name":"sub1","comment":" The NNat minus 1.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N1Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N1Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub10","comment":" The NNat minus 10.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N10Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N10Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub100","comment":" The NNat minus 100.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N100Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N100Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub101","comment":" The NNat minus 101.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N101Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N101Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub102","comment":" The NNat minus 102.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N102Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N102Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub103","comment":" The NNat minus 103.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N103Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N103Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub104","comment":" The NNat minus 104.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N104Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N104Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub105","comment":" The NNat minus 105.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N105Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N105Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub106","comment":" The NNat minus 106.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N106Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N106Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub107","comment":" The NNat minus 107.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N107Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N107Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub108","comment":" The NNat minus 108.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N108Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N108Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub109","comment":" The NNat minus 109.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N109Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N109Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub11","comment":" The NNat minus 11.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N11Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N11Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub110","comment":" The NNat minus 110.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N110Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N110Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub111","comment":" The NNat minus 111.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N111Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N111Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub112","comment":" The NNat minus 112.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N112Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N112Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub113","comment":" The NNat minus 113.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N113Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N113Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub114","comment":" The NNat minus 114.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N114Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N114Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub115","comment":" The NNat minus 115.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N115Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N115Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub116","comment":" The NNat minus 116.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N116Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N116Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub117","comment":" The NNat minus 117.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N117Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N117Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub118","comment":" The NNat minus 118.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N118Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N118Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub119","comment":" The NNat minus 119.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N119Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N119Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub12","comment":" The NNat minus 12.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N12Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N12Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub120","comment":" The NNat minus 120.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N120Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N120Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub121","comment":" The NNat minus 121.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N121Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N121Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub122","comment":" The NNat minus 122.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N122Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N122Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub123","comment":" The NNat minus 123.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N123Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N123Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub124","comment":" The NNat minus 124.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N124Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N124Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub125","comment":" The NNat minus 125.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N125Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N125Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub126","comment":" The NNat minus 126.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N126Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N126Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub127","comment":" The NNat minus 127.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N127Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N127Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub128","comment":" The NNat minus 128.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N128Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N128Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub13","comment":" The NNat minus 13.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N13Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N13Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub14","comment":" The NNat minus 14.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N14Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N14Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub15","comment":" The NNat minus 15.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N15Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N15Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub16","comment":" The NNat minus 16.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N16Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N16Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub17","comment":" The NNat minus 17.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N17Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N17Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub18","comment":" The NNat minus 18.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N18Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N18Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub19","comment":" The NNat minus 19.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N19Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N19Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub2","comment":" The NNat minus 2.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N2Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N2Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub20","comment":" The NNat minus 20.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N20Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N20Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub21","comment":" The NNat minus 21.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N21Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N21Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub22","comment":" The NNat minus 22.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N22Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N22Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub23","comment":" The NNat minus 23.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N23Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N23Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub24","comment":" The NNat minus 24.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N24Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N24Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub25","comment":" The NNat minus 25.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N25Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N25Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub26","comment":" The NNat minus 26.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N26Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N26Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub27","comment":" The NNat minus 27.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N27Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N27Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub28","comment":" The NNat minus 28.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N28Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N28Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub29","comment":" The NNat minus 29.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N29Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N29Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub3","comment":" The NNat minus 3.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N3Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N3Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub30","comment":" The NNat minus 30.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N30Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N30Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub31","comment":" The NNat minus 31.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N31Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N31Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub32","comment":" The NNat minus 32.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N32Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N32Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub33","comment":" The NNat minus 33.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N33Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N33Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub34","comment":" The NNat minus 34.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N34Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N34Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub35","comment":" The NNat minus 35.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N35Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N35Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub36","comment":" The NNat minus 36.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N36Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N36Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub37","comment":" The NNat minus 37.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N37Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N37Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub38","comment":" The NNat minus 38.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N38Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N38Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub39","comment":" The NNat minus 39.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N39Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N39Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub4","comment":" The NNat minus 4.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N4Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N4Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub40","comment":" The NNat minus 40.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N40Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N40Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub41","comment":" The NNat minus 41.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N41Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N41Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub42","comment":" The NNat minus 42.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N42Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N42Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub43","comment":" The NNat minus 43.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N43Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N43Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub44","comment":" The NNat minus 44.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N44Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N44Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub45","comment":" The NNat minus 45.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N45Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N45Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub46","comment":" The NNat minus 46.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N46Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N46Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub47","comment":" The NNat minus 47.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N47Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N47Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub48","comment":" The NNat minus 48.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N48Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N48Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub49","comment":" The NNat minus 49.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N49Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N49Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub5","comment":" The NNat minus 5.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N5Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N5Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub50","comment":" The NNat minus 50.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N50Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N50Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub51","comment":" The NNat minus 51.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N51Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N51Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub52","comment":" The NNat minus 52.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N52Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N52Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub53","comment":" The NNat minus 53.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N53Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N53Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub54","comment":" The NNat minus 54.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N54Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N54Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub55","comment":" The NNat minus 55.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N55Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N55Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub56","comment":" The NNat minus 56.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N56Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N56Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub57","comment":" The NNat minus 57.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N57Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N57Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub58","comment":" The NNat minus 58.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N58Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N58Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub59","comment":" The NNat minus 59.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N59Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N59Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub6","comment":" The NNat minus 6.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N6Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N6Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub60","comment":" The NNat minus 60.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N60Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N60Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub61","comment":" The NNat minus 61.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N61Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N61Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub62","comment":" The NNat minus 62.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N62Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N62Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub63","comment":" The NNat minus 63.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N63Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N63Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub64","comment":" The NNat minus 64.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N64Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N64Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub65","comment":" The NNat minus 65.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N65Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N65Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub66","comment":" The NNat minus 66.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N66Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N66Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub67","comment":" The NNat minus 67.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N67Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N67Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub68","comment":" The NNat minus 68.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N68Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N68Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub69","comment":" The NNat minus 69.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N69Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N69Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub7","comment":" The NNat minus 7.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N7Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N7Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub70","comment":" The NNat minus 70.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N70Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N70Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub71","comment":" The NNat minus 71.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N71Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N71Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub72","comment":" The NNat minus 72.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N72Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N72Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub73","comment":" The NNat minus 73.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N73Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N73Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub74","comment":" The NNat minus 74.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N74Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N74Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub75","comment":" The NNat minus 75.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N75Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N75Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub76","comment":" The NNat minus 76.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N76Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N76Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub77","comment":" The NNat minus 77.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N77Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N77Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub78","comment":" The NNat minus 78.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N78Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N78Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub79","comment":" The NNat minus 79.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N79Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N79Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub8","comment":" The NNat minus 8.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N8Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N8Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub80","comment":" The NNat minus 80.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N80Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N80Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub81","comment":" The NNat minus 81.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N81Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N81Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub82","comment":" The NNat minus 82.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N82Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N82Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub83","comment":" The NNat minus 83.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N83Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N83Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub84","comment":" The NNat minus 84.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N84Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N84Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub85","comment":" The NNat minus 85.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N85Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N85Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub86","comment":" The NNat minus 86.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N86Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N86Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub87","comment":" The NNat minus 87.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N87Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N87Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub88","comment":" The NNat minus 88.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N88Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N88Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub89","comment":" The NNat minus 89.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N89Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N89Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub9","comment":" The NNat minus 9.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N9Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N9Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub90","comment":" The NNat minus 90.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N90Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N90Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub91","comment":" The NNat minus 91.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N91Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N91Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub92","comment":" The NNat minus 92.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N92Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N92Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub93","comment":" The NNat minus 93.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N93Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N93Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub94","comment":" The NNat minus 94.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N94Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N94Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub95","comment":" The NNat minus 95.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N95Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N95Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub96","comment":" The NNat minus 96.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N96Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N96Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub97","comment":" The NNat minus 97.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N97Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N97Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub98","comment":" The NNat minus 98.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N98Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N98Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"sub99","comment":" The NNat minus 99.\n\n\n","type":"NNat.NNat (N.Type.N (N.Nat.Type.N99Plus nMinus1) N.Type.Is (N.Type.Difference a N.Type.To (N.Nat.Type.N99Plus nPlusAMinus1))) -> NNat.NNat (N.Type.N nMinus1 N.Type.Is (N.Type.Difference a N.Type.To nPlusAMinus1))"},{"name":"toInt","comment":" Convert a `NNat` to an `Int`.\n\n\n    NNat.n4 |> NNat.toInt\n    --> 4\n","type":"NNat.NNat n -> Basics.Int"}],"binops":[]}]