Commit b61df9d8 authored by Alain Mebsout's avatar Alain Mebsout Committed by Benjamin Canou

Doc: fix LOOP_LEFT type

parent b229eace
......@@ -435,7 +435,7 @@ Control structures
::
:: (or 'a 'b) : 'A -> 'A
:: (or 'a 'b) : 'A -> 'b : 'A
iff body :: [ 'a : 'A -> (or 'a 'b) : 'A ]
> LOOP_LEFT body / (Left a) : S => body ; LOOP_LEFT body / a : S
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment