package pds-reachability

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Pds_reachability_types_stack.Stack_action_constructor`Source

A functor to create a decorated stack action type.

module Stack_element : Pds_reachability_utils.Decorated_type

module Targeted_dynamic_pop_action : Pds_reachability_utils.Decorated_type

Sourcetype stack_element = Stack_element.t

Sourcetype targeted_dynamic_pop_action = Targeted_dynamic_pop_action.t

Sourcemodule T : sig ... end

Sourcetype t = T.t

include Pds_reachability_utils.Decorated_type with type t := t

Sourceval equal : t -> t -> bool

Sourceval compare : t -> t -> int

Sourceval pp : t Jhupllib.Pp_utils.pretty_printer

Sourceval show : t -> string

Sourceval to_yojson : t -> Yojson.Safe.json