Module Navigation

module Navigation: sig .. end
Pathes to explore a mixture

type abstract = 
| Existing of int
| Fresh of Agent.t
type 'a port = 'a * int 
type 'a arrow = 
| ToNode of 'a port
| ToNothing
| ToInternal of int
type 'a step = 'a port * 'a arrow 
type 'a t = 'a step list 
val print : Signature.s ->
(int -> int) -> Format.formatter -> abstract t -> unit
print signatures find_existing_type nav
val step_to_yojson : abstract step -> Yojson.Basic.json
val step_of_yojson : Yojson.Basic.json -> abstract step
val to_yojson : abstract t -> Yojson.Basic.json
val of_yojson : Yojson.Basic.json -> abstract t
val rename : Renaming.t ->
abstract t ->
Renaming.t * abstract t
val compatible_point : Renaming.t ->
abstract step ->
abstract step -> Renaming.t option
Retuns the extension of the given injections so that the second edge is the image of the first
val is_subnavigation : Renaming.t ->
abstract t ->
abstract t ->
(Renaming.t * abstract t) option
is_subnavigation inj_nav2sub nav subpart
val check_edge : Edges.t -> abstract step -> bool
val injection_for_one_more_edge : ?root:Agent.t ->
Renaming.t ->
Edges.t -> abstract step -> Renaming.t option
val concretize : Agent.t ->
Edges.t -> abstract t -> int t option