package pgsolver

  1. Overview
  2. Docs
type state
type proposition
type action
val actions : unit -> action list
val initstate : unit -> state
val labels : state -> proposition -> bool
val successors : state -> action -> state list
val show_state : state -> string
val show_proposition : proposition -> string
val show_action : action -> string
val property : unit -> (proposition, action) mucalc
OCaml

Innovation. Community. Security.