cognimeta-utils-0.1.1: Utilities for Cognimeta products (such as perdure). API may change often.
Cgm.Data.Nat.Constants
type D1 = Succ D0Source
type D2 = Succ D1Source
type D3 = Succ D2Source
type D4 = Succ D3Source
type D5 = Succ D4Source
type D6 = Succ D5Source
type D7 = Succ D6Source
type D8 = Succ D7Source
type D9 = Succ D8Source
type D10 = Succ D9Source
type D11 = Succ D10Source
type D12 = Succ D11Source
type D13 = Succ D12Source
type D14 = Succ D13Source
type D15 = Succ D14Source
type D16 = Succ D15Source
type D17 = Succ D16Source
type D18 = Succ D17Source
type D19 = Succ D18Source
type D20 = Succ D19Source
type D21 = Succ D20Source
type D22 = Succ D21Source
type D23 = Succ D22Source
type D24 = Succ D23Source
type D25 = Succ D24Source
type D26 = Succ D25Source
type D27 = Succ D26Source
type D28 = Succ D27Source
type D29 = Succ D28Source
type D30 = Succ D29Source
type D31 = Succ D30Source
type D32 = Succ D31Source
type D33 = Succ D32Source
type D34 = Succ D33Source
type D35 = Succ D34Source
type D36 = Succ D35Source
type D37 = Succ D36Source
type D38 = Succ D37Source
type D39 = Succ D38Source
type D40 = Succ D39Source
type D41 = Succ D40Source
type D42 = Succ D41Source
type D43 = Succ D42Source
type D44 = Succ D43Source
type D45 = Succ D44Source
type D46 = Succ D45Source
type D47 = Succ D46Source
type D48 = Succ D47Source
type D49 = Succ D48Source
type D50 = Succ D49Source
type D51 = Succ D50Source
type D52 = Succ D51Source
type D53 = Succ D52Source
type D54 = Succ D53Source
type D55 = Succ D54Source
type D56 = Succ D55Source
type D57 = Succ D56Source
type D58 = Succ D57Source
type D59 = Succ D58Source
type D60 = Succ D59Source
type D61 = Succ D60Source
type D62 = Succ D61Source
type D63 = Succ D62Source
type D64 = Succ D63Source
type D65 = Succ D64Source