Parameter Sum.L

type n
val n : n cardinal