package pgsolver
Module type Paritygame.PGBuilder
val build : unit -> paritygameval build_from_node : gamenode -> paritygameval build_from_nodes : gamenode list -> paritygameParitygame.PGBuilderval build : unit -> paritygameval build_from_node : gamenode -> paritygameval build_from_nodes : gamenode list -> paritygame