package symex

  1. Overview
  2. Docs

Module Monad.StateSource

Sourcetype ('a, 'prio, 'state) t = 'state -> ('a * 'state, 'prio) Schedulable.t