Up

Module Identifiable = Identifiable

Signature

module type S = sig .. end
module Make (M : sig .. end) : S with type t := M.t
Used for making an Identifiable module.