sig
val
generate_hypotheses :
Collect
.env
->
unit
end