package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val register : 
  print:(Format.formatter -> 'a -> unit) ->
  name:string ->
  init:'a ->
  'a stat

val mod0 : 'a stat -> ('a -> 'a) -> unit

val mod1 : 'a stat -> ('a -> 'b -> 'a) -> 'b -> unit

val mod2 : 'a stat -> ('a -> 'b -> 'c -> 'a) -> 'b -> 'c -> unit

val register_int : name:string -> init:int -> int stat

val incr : int stat -> unit

val decr : int stat -> unit

val print : unit -> unit