Sig.With_Assume
type boolean
module Context : Context
val assume : Context.t -> boolean -> Context.t option
Corresponds to the creation of a new basic block, accessible only if the condition is met.
Bottom