bap-primus-greedy-scheduler
Evaluates all machines in the DFS order
1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Library primus_greedy_scheduler_plugin
include Monads.Std.Monad.Collection.Basic
val return : 'a -> 'a t
return x
creates a singleton container holding x
val fold :
'a t ->
init:'s ->
f:( 's -> 'a -> ( 's -> 'r ) -> 'r ) ->
( 's -> 'r ) ->
'r
fold xs ~init:s ~f
a delayed fold implementation. It is the same as a regular fold
except that function f
accepts an extra continuation argument, and the fold
expression returns a continuation.