package zelus

  1. Overview
  2. Docs
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 Stdlib.ref
val fresh : string -> t
val fprint_t : Stdlib.Format.formatter -> t -> unit
module M : sig ... end
module Env : sig ... end
module S : sig ... end