package pgsolver

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type Paritygame.PGDescription

type gamenode
val compare : gamenode -> gamenode -> int
val owner : gamenode -> player
val priority : gamenode -> priority
val successors : gamenode -> gamenode list
val show_node : gamenode -> string option
val initnodes : unit -> gamenode list