Module Jasmin.NatDef

module N : sig ... end