Module S.Make_Narrow

Parameters

module X : sig ... end

Signature

val narrow : t -> t -> t