package spectrum_tools

  1. Overview
  2. Docs

Module Utils.ShowableSetSource

include module type of struct include Set end
Sourcemodule type OrderedType = Set.OrderedType

Input signature of the functor Make.

Sourcemodule type S = sig ... end
Sourcemodule Make (Ord : OrderedShowable) : sig ... end