Syntax.Symex_syntaxval branch_on :
?left_branch_name:string ->
?right_branch_name:string ->
Soteria_rust_lib.Typed.T.sbool Typed.t ->
then_:(unit -> ('a, 'env) t) ->
else_:(unit -> ('a, 'env) t) ->
('a, 'env) tval branch_on_take_one :
?left_branch_name:string ->
?right_branch_name:string ->
Soteria_rust_lib.Typed.T.sbool Typed.t ->
then_:(unit -> ('a, 'env) t) ->
else_:(unit -> ('a, 'env) t) ->
('a, 'env) tval if_sure :
?left_branch_name:string ->
?right_branch_name:string ->
Soteria_rust_lib.Typed.T.sbool Typed.t ->
then_:(unit -> ('a, 'env) t) ->
else_:(unit -> ('a, 'env) t) ->
('a, 'env) t