package pgsolver

You can search for identifiers within the package.

in-package search v0.2.0

package pgsolver

pgsolver

Legend:
Library
Module
Module type
Parameter
Class
Class type

type ('p, 'a) mucalc =

| Prop of 'p
| Var of string
| Neg of ('p, 'a) mucalc
| Imp of ('p, 'a) mucalc * ('p, 'a) mucalc
| Conj of ('p, 'a) mucalc list
| Disj of ('p, 'a) mucalc list
| Diam of 'a option * ('p, 'a) mucalc
| Box of 'a option * ('p, 'a) mucalc
| Mu of string * ('p, 'a) mucalc
| Nu of string * ('p, 'a) mucalc

module type VerificationProblem = sig ... end

module Make (T : VerificationProblem) : Paritygame.PGBuilder