package pgsolver

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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