Verified Commit 8f093057 authored by Joachim Ansorg's avatar Joachim Ansorg Committed by Grégoire Henry

Fix literal block markup

parent 9c08caae
Pipeline #28843374 passed with stages
in 19 minutes and 30 seconds
......@@ -804,6 +804,8 @@ is, concatenate or splice them, and use them as keys.
- ``SLICE``: String access.
::
:: nat : nat : string : 'S -> option string : 'S
> SLICE / offset : length : s : S => Some ss : 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