Module TermInner.Default

module Default: sig .. end

type t = {

val repr : t -> t TermInner.view

val build : t TermInner.view -> t

module U: TermInner.Util(sig

type t = TermInner.Default.t_ 


val repr : t -> t TermInner.view
val build : t TermInner.view -> t
end)

module P: TermInner.Print(sig

type t = TermInner.Default.t_ 


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