builtins.dk

#NAME builtins.

nat : Type.
0 : nat.
S : nat -> nat.

list : Type -> Type.
nil : A : Type -> list A.
cons : A : Type -> A -> list A -> list A.

char : Type.
char_of_nat : nat -> char.

string : Type.
string_nil : string.
string_cons : char -> string -> string.