Module type TermInner.S

module type S = sig .. end

type t 

include TermInner.REPR

include TermInner.BUILD