Module Syntax.Symex_syntax
val branch_on :
?left_branch_name:string ->
?right_branch_name:string ->
Value.sbool Value.t ->
then_:(unit -> ('a, 'b) t) ->
else_:(unit -> ('a, 'b) t) ->
('a, 'b) tval branch_on_take_one :
?left_branch_name:string ->
?right_branch_name:string ->
Value.sbool Value.t ->
then_:(unit -> ('a, 'b) t) ->
else_:(unit -> ('a, 'b) t) ->
('a, 'b) tval if_sure :
?left_branch_name:string ->
?right_branch_name:string ->
Value.sbool Value.t ->
then_:(unit -> ('a, 'b) t) ->
else_:(unit -> ('a, 'b) t) ->
('a, 'b) t