Module type TermTyped.S

module type S = sig .. end

type t 

include TermTyped.REPR

include TermTyped.BUILD