Module Protocol.Gates

module Vector : sig ... end