module Database2: sig .. end
val edges : (int * int) list
val dataIn : int -> int array array
val dataIn64 : int array
val exin : string
val strin : string -> int -> int -> string
val exStrin : int -> string
val resultin : string
val format : string -> int -> int -> string
val exformat : int -> string
val res : string
val learnIn1 : string -> int -> string
val learnIn : string
val copylearnIn : unit -> unit
val data : Definitions.Ensemble.elt list array
val diagDepl : (int * int) list -> int array array
val affDiagDepl : (int * int) list -> unit
val dataExample : int -> int array
val ex : string
val str : string -> int -> int -> string
val exLearn : int -> string
val result : string
val learnData1 : string -> int -> string
val learnData : string
val copylearnData : unit -> unit
val center : (int * int) list
val dataInC : int array array
val dataInC64 : int array
val exinC : string
val strinC : string -> int -> string
val exStrinC : string
val resultinC : string
val formatC : string -> int -> string
val exformatC : string
val copylearnInC : unit -> unit