package pgsolver

  1. Overview
  2. Docs
package pgsolver
Legend:
Library
Module
Module type
Parameter
Class
Class type
type ('p, 'a) mucalc =
  1. | Prop of 'p
  2. | Var of string
  3. | Neg of ('p, 'a) mucalc
  4. | Imp of ('p, 'a) mucalc * ('p, 'a) mucalc
  5. | Conj of ('p, 'a) mucalc list
  6. | Disj of ('p, 'a) mucalc list
  7. | Diam of 'a option * ('p, 'a) mucalc
  8. | Box of 'a option * ('p, 'a) mucalc
  9. | Mu of string * ('p, 'a) mucalc
  10. | Nu of string * ('p, 'a) mucalc
module type VerificationProblem = sig ... end