Module Ident

type t = {
  1. num : int;
  2. source : string;
}
and element_t = {
  1. arrnm : string;
  2. index : t;
}
type t_alias = t
val compare : t -> t -> int
val name : t -> string
val source : t -> string
val num : int ref
val fresh : string -> t
val fprint_t : Format.formatter -> t -> unit
module M : sig ... end
module Env : sig ... end
module S : sig ... end