Utils (transformers.Prebuilt.Utils)

module type ActionAddition = States.ActionAdder.ActionAddition

module type FilterVals = States.Filter.FilterVals

module type IDs = States.MyUtils.IDs

module type Injection = States.Injector.Injection

module type NameMap = States.Mapper.NameMap

module type MyMonadicSMemory = States.MyMonadicSMemory.S

module type PMapIndex = States.PMap.PMapIndex

module type PMapType = States.PMap.PMapType

module type OpenPMapType = States.PMap.OpenPMapType

type filter_mode = States.Filter.filter_mode

type index_mode = States.PMap.index_mode

module DummyInject = States.Injector.DummyInject

module IDs : IDs

module LocationIndex = States.PMap.LocationIndex

module IntegerIndex = States.PMap.IntegerIndex

module StringIndex = States.PMap.StringIndex

module Agreement = States.Agreement

module Exclusive = States.Exclusive

module Fractional = States.Fractional

module ActionAdder = States.ActionAdder.Make

module Filter = States.Filter.Make

module Freeable = States.Freeable.Make

module Injector = States.Injector.Make

module Logger = States.Logger.Make

module Mapper = States.Mapper.Make

module MList = States.MList.Make

module Product = States.Product.Make

module Sum = States.Sum.Make

module ALocPMap (S : States.MyMonadicSMemory.S) : sig ... end

module SplitPMap (I : PMapIndex) (S : States.MyMonadicSMemory.S) : sig ... end

module OpenALocPMap (S : States.MyMonadicSMemory.S) : sig ... end

module OpenSplitPMap
  (I : PMapIndex)
  (S : States.MyMonadicSMemory.S) : 
  sig ... end

module OpenPMap (I : PMapIndex) (S : States.MyMonadicSMemory.S) : sig ... end

module PMap (I : PMapIndex) (S : States.MyMonadicSMemory.S) : sig ... end