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.WeightsMap`Source

Sourcemodule M : sig ... end

Sourcetype t = (int * Ppxlib.location) M.t

Sourceval empty : 'a M.t

Sourceval is_empty : 'a M.t -> bool

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

Sourceval pop : M.key -> (int * 'a) M.t -> int * (int * 'a) M.t

Sourceval unused : ('a * 'b) M.t -> (M.key * 'b) list