sig val check : Node.t -> Node.t Cubetrie.t -> int list option end