Parameter Make.P

val np : int
val mem : int