sig module T : TI.REPR type t = T.t val repr : T.t -> T.t TermMono.view end