Module type TermTyped.REPR

module type REPR = sig .. end

type t 

val repr : t -> t TermTyped.view

val ty : t -> t option

val loc : t -> TermTyped.loc option