Functor TermMono.Make

module Make (T : TI.REPR) : sig .. end

Build a representation and all the associated utilities

Parameters:

T : TI.REPR

module T: T

type t = T.t

val repr : T.t -> T.t TermMono.view