Up – Index » assembler » Assembler » Assembler_extr » N

Module `Assembler_extr.N`

val of_nat : int -> int