module Mono: TermMono.Make(T)
TermMono.Make
(
T
)
module T: T
type t = T.t
T.t
val repr : T.t -> T.t TermMono.view
T.t -> T.t TermMono.view