Module vstd::std_specs::control_flow

Structs

• ExControlFlow
• ExInfallible

Functions

• ex_option_branch
• ex_option_from_residual
• ex_result_branch
• ex_result_from_residual
• group_control_flow_axioms
• spec_from
• spec_from_blanket_identity