Parameter Make_Imperative.N

type t