Module type Type_generic_intf.M.S0

module type S0 = sig .. end

type t 
include Typerepable.S0
val compute : t X.t