package ortac-qcheck-stm

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Config.Weights`Source

Sourcetype t = {

}

Sourceval empty : t

Sourcetype ('record, 'field) lens = {

}

Sourceval seq : (t, WeightsMap.t) lens

Sourceval dom0 : (t, WeightsMap.t) lens

Sourceval dom1 : (t, WeightsMap.t) lens

Sourceval is_empty : ('a, 'b WeightsMap.M.t) lens -> 'a -> bool

Sourceval over : ('a, 'b) lens -> ('b -> 'b) -> 'a -> 'a

val add : 
  ('a, ('b * Ppxlib.location) WeightsMap.M.t) lens ->
  WeightsMap.M.key Ppxlib.loc ->
  'b ->
  'a ->
  'a

val pop : 
  ('a, (int * 'b) WeightsMap.M.t) lens ->
  WeightsMap.M.key ->
  'a ->
  int * 'a

val unused : 
  ('a, ('b * 'c) WeightsMap.M.t) lens ->
  'a ->
  (WeightsMap.M.key * 'c) list