summaryrefslogtreecommitdiff
path: root/stdlib/float.mli
diff options
context:
space:
mode:
authorFlorian Angeletti <florian.angeletti@inria.fr>2022-11-25 15:35:43 +0100
committerFlorian Angeletti <florian.angeletti@inria.fr>2022-12-01 11:19:33 +0100
commitdddaad6f35960f2517e75c3097db937c71faf907 (patch)
treeb5c412d4b61cd499ceaafe1a5cc3eb39f9726d54 /stdlib/float.mli
parent637fa43fd29e8d3727742872e72e43b3bbc688b0 (diff)
downloadocaml-dddaad6f35960f2517e75c3097db937c71faf907.tar.gz
sync_stdlib_docs: process code examples in array
Diffstat (limited to 'stdlib/float.mli')
0 files changed, 0 insertions, 0 deletions