Module TermTyped

module TermTyped: sig .. end

Terms with Types

module TI: TermInner

module Loc: Location

type 'a view = 'a TI.view

Same view as TermInner

type loc = Loc.t

type id = ID.t

type 'a var = 'a Var.t

module type REPR = sig .. end

module type BUILD = sig .. end

module type S = sig .. end

module LiftRepr (T : REPR) : sig .. end

module Util (T : S) : sig .. end

module Default: sig .. end