module T : sig ... end
type t = private LogicalForm__Index.Make(Base.Int).t
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
val id : T.t -> t
val to_nonzero_int_exn : t -> Base.int
val of_nonzero_int_exn : Base.int -> t
val of_string : string -> t
val to_string : t -> string
val not_ : t -> t