package pgsolver

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

val register_generator : 
  (string array -> Paritygame.paritygame) ->
  string ->
  string ->
  unit

val mem_generator : string -> bool

val find_generator : string -> (string array -> Paritygame.paritygame) * string

val enum_generators : 
  ((string array -> Paritygame.paritygame) -> string -> string -> unit) ->
  unit

val fold_generators : 
  ((string array -> Paritygame.paritygame) -> string -> string -> 'a -> 'a) ->
  'a ->
  'a