Module type Pattern.S

module type S = sig .. end

module T: TI.REPR 

type t = T.t 

val repr : T.t -> T.t Pattern.view