sig
  type t
  val add : int -> Ctrl.t -> Nodes.t -> Nodes.t
  val fold : (int -> Ctrl.t -> '-> 'a) -> Nodes.t -> '-> 'a
  val empty : Nodes.t
  val is_empty : Nodes.t -> bool
  val size : Nodes.t -> int
  val to_string : Nodes.t -> string
  val of_string : string -> Nodes.t
  val json_of_nodes : Nodes.t -> string
  val json_of_nodes_f : Nodes.t -> Base.JSON.json_node
  val string_of_sorts : Nodes.t -> string
  val to_dot : Nodes.t -> string
  val get_ctrl : int -> Nodes.t -> Ctrl.t option
  val find_all : Ctrl.t -> Nodes.t -> IntSet.t
  val tens : Nodes.t -> Nodes.t -> Nodes.t
  val apply : Iso.t -> Nodes.t -> Nodes.t
  val not_sub : Nodes.t -> Nodes.t -> bool
  val norm : Nodes.t -> string list
  val equal : Nodes.t -> Nodes.t -> bool
end