package soteria

  1. Overview
  2. Docs
package soteria
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Soteria.Sym_states

Separation-logic ready state modules.

module Base : sig ... end
module State_monad : sig ... end

Primitive state modules

module Excl : sig ... end
module Agree : sig ... end
module Pure_fun : sig ... end

State model component of pure functions. A piece of state represents a function `f()` that returns a value in a certain set. It is quite similar to the agreement algebra, except that there is no allocation, there necessarily exists a value, and if we don't know it, we instantiate it on read/consumption.

Combinators

module Freeable : sig ... end
module Pmap : sig ... end
module Plist : sig ... end
module Tree_block : sig ... end
module With_info : sig ... end
module Bi_abd : sig ... end