package kappa-library

  1. Overview
  2. Docs
package kappa-library
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Kappa_site_graphs.NavigationSource

Pathes to explore a mixture

Sourcetype abstract =
  1. | Existing of int
  2. | Fresh of Agent.t
Sourcetype 'a port = 'a * int
Sourcetype 'a arrow =
  1. | ToNode of 'a port
  2. | ToNothing
  3. | ToInternal of int
Sourcetype 'a step = 'a port * 'a arrow
Sourcetype 'a t = 'a step list
Sourceval print : Signature.s -> (int -> int) -> Format.formatter -> abstract t -> unit

print signatures find_existing_type nav

Sourceval step_to_yojson : abstract step -> Yojson.Basic.t
Sourceval step_of_yojson : Yojson.Basic.t -> abstract step
Sourceval to_yojson : abstract t -> Yojson.Basic.t
Sourceval of_yojson : Yojson.Basic.t -> abstract t
Sourceval compatible_fresh_point : debug_mode:bool -> abstract step -> Agent.t -> int -> abstract arrow -> Kappa_data_structures.Renaming.t option

Retuns the extension of the given injections so that the second edge is the image of the first

Sourceval is_subnavigation : debug_mode:bool -> Kappa_data_structures.Renaming.t -> abstract t -> abstract t -> (Kappa_data_structures.Renaming.t * abstract t) option

is_subnavigation inj_nav2sub nav subpart

Sourceval check_edge : Edges.t -> abstract step -> bool
Sourceval injection_for_one_more_edge : debug_mode:bool -> ?root:Agent.t -> Kappa_data_structures.Renaming.t -> Edges.t -> abstract step -> Kappa_data_structures.Renaming.t option
Sourceval imperative_edge_is_valid : debug_mode:bool -> ?root:Agent.t -> Kappa_data_structures.Renaming.t -> Edges.t -> abstract step -> bool
Sourceval concretize : debug_mode:bool -> Agent.t -> Edges.t -> abstract t -> int t option
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct