Module type Type_generic_intf.M.S1

module type S1 = sig .. end

type 'a t 
include Typerepable.S1
val compute : 'a X.t -> 'a t X.t