Module Wp.Lang.F.Z

module Z: Arith.Z  with type t = Integer.t