builtinsA.dhall

[ Natural/fold
, Natural/build
, Natural/isZero
, Natural/even
, Natural/odd
, Natural/toInteger
, Natural/show
, Integer/toDouble
, Integer/show
, Integer/negate
, Integer/clamp
, Natural/subtract
, Double/show
, List/build
, List/fold
, List/length
, List/head
, List/last
, List/indexed
, List/reverse
, Text/show
, Text/replace
, Bool
, True
, False
, Optional
, None
, Natural
, Integer
, Double
, Text
, List
, Type
, Kind
, Sort
]