module type S1 = sig .. end
sig
end
type 'a t
'a
include Typerepable.S1
val compute : 'a X.t -> 'a t X.t
'a X.t -> 'a t X.t