Module Hyp

module Hyp: sig .. end

val generate_hypotheses : Collect.env -> unit