sig
  val dnf_size : unit -> int
  val int_cube_size : unit -> int
  val real_cube_size : unit -> int
  val modes : unit -> bool
end