Module TermTyped.Default.Print

module Print: TI.Print(sig

type t_ = TermTyped.Default.t 


type t = t_ 


val repr : t -> t TermTyped.view
end)