package pgsolver

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

Module Paritygame.Build

Parameters

module T : PGDescription

Signature

type gamenode = T.gamenode
val build : unit -> paritygame
val build_from_node : gamenode -> paritygame
val build_from_nodes : gamenode list -> paritygame