Functor Applicative_intf.S2_to_S

module S2_to_S: 
functor (X : S2) -> sig .. end
Parameters:
X : S2

type 'a t = ('a, unit) X.t 
include X