package pgsolver

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.