module Skel: sig .. end
Skeletons and other basic types.
Author(s): David Baelde, Samuel Mimram
type point = float * float * float
Convention for matrixes: m.(x).(y).
type 'a matrix = 'a array array
A skel is the matrix of connexions.
false means not connected.
type skel = bool matrix
type position = point array
val one_of_three : ('a * 'a * 'a) option array -> 'a option array
Conversion from a rough constraint to a precise one.
module Constraints: sig .. end
A Constraints.t is a partial movement.
High-level skeleton type, where nodes are labelled. Not used.
module Skeleton: sig .. end