Module Fields.M

Parameters

module X : Base.T1

Signature

module type S = S with type 'a value := 'a X.t