sig
val
initialize :
Satproc
.ident
->
Satproc
.entries
end