Module type `Sig.With_Nondet`

module Context : Context

val typed_nondet2 : 
  Context.t ->
  Context.t ->
  'a Context.in_tuple ->
  Context.t * 'a Context.out_tuple

This joins two basic blocks and returns a new basic block. The Context.in_tuple and Context.out_tuple corresponds to the phi operations in SSA.

val nondet_same_context : 
  Context.t ->
  'a Context.in_tuple ->
  'a Context.out_tuple

Additionally, one may compute a non-deterministic choice between two values in the same basic block

It can be seen as equivalent as calling typed_nondet2 by passing the same context twice, which would return the same context.

Module type Sig.With_Nondet