module type SATPROC = sig .. end
sig
end
val initialize : Satproc.ident -> Satproc.entries
Satproc.ident -> Satproc.entries