stdune
Dune's unstable standard library
1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
package stdune
-
stdune
-
-
stdune.filesystem_stubs
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Parameters
module S : sig ... end
Signature
run t state
runs computation t
with state
as the initial state. The final state and the computed result are returned
ON THIS PAGE
No table of contents