module Database3: sig .. end
val lcase : (int * int) list
type int * int
val lin : coord -> int
val cvect64 : coord -> float array
val fcase : coord -> Definitions.Ensemble.elt list
val dcaseK : coord -> float array
val dcaseKInt : coord -> int array
val pw2 : float -> float
val bin : float array -> float -> float
val vectE : int -> float
val maxE : float
val maxS : float
val vectEn : int -> float
val formatE : int -> string
val formatS : int -> string
val res : string
val formatSJ : string -> int -> int -> string
val formatSJn : int -> string
val formatES : int -> string
val mode : Unix.open_flag list
val file : Unix.file_descr
val write : int -> unit
val copyinfile : 'a list -> unit