Frama-C API - State_monad
The State monad represents computations relying on a global mutable state but implemented in a functionnal way.
module Make (Env : Datatype.S_with_collections) : sig ... end
Frama-C Frama-C State_monadThe State monad represents computations relying on a global mutable state but implemented in a functionnal way.
module Make (Env : Datatype.S_with_collections) : sig ... end