sig
  val active : unit -> bool
  val graph_only : unit -> bool
  val len : unit -> int
end