Module type TermInner.REPR

module type REPR = sig .. end

type t 
val repr : t TermInner.repr