Module Types.Index

module Index: sig .. end

type t = 

type env = (string * int) list 

exception Illegal_op of string

exception Illegal_type_index of t

exception Unbound_type_index of string

val subst : env -> t -> t

val vars_of : t -> Types.VarSet.t

val to_string : t -> string

val to_string : t -> string