package elpi

  1. Overview
  2. Docs
module type S = sig ... end
module type OrderedType = sig ... end
module Make (Ord : OrderedType) : S with type key = Ord.t