Parameter Make.L

type n
val n : n cardinal