Functor Applicative_intf.S_to_S2

module S_to_S2: 
functor (X : S) -> sig .. end
This module serves mostly as a partial check that S2 and S are in sync, but actually calling it is occasionally useful.
Parameters:
X : S

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