Module Setoid

module Setoid: sig .. end

module type Setoid = sig .. end