Module Ag_ordered

val nddp : Ag_types.P.t -> (Ag_types.TARG.vertex * Ag_types.TARG.vertex) list
val tar_map_nt_to_parent : Ag_types.TAR.t -> Ag_types.TAR.t
val tar_map_nt_to_child : int -> Ag_types.TAR.t -> Ag_types.TAR.t
type ids_t = (string * (string * string) list) list
val pp_ids_t : ids_t Fmt.t
val show_ids_t : ids_t -> Stdlib.String.t
type idp_t = (Ag_types.PN.t * (Ag_types.TAR.t * Ag_types.TAR.t) list) list
val pp_idp_t : idp_t Fmt.t
val show_idp_t : idp_t -> Stdlib.String.t
val new_ids : idp_t -> (string * (string * string) list) list
val add_idp : Ag_types.AG.t -> (string * (string * string) list) list -> (Ag_types.PN.t * (Ag_types.TAR.t * Ag_types.TAR.t) list) list
val idp_ids_step : Ag_types.AG.t -> (idp_t * ids_t) -> (Ag_types.PN.t * (Ag_types.TAR.t * Ag_types.TAR.t) list) list * (string * (string * string) list) list
val idp_ids : Ag_types.AG.t -> idp_t * ids_t
val check_idp_ids : ((Ag_types.PN.t * (Ag_types.TARG.vertex * Ag_types.TARG.vertex) list) list * (string * (Ag_types.StrG.vertex * Ag_types.StrG.vertex) list) list) -> unit
val compute_t_sofar : ('a list * 'a list) list -> 'a list
val compute_ti_inh_step : ('a * Ag_types.StrG.vertex list * 'b * Ag_types.StrG.t) -> Ag_types.StrG.vertex list -> Ag_types.StrG.vertex list -> Ag_types.StrG.vertex list
val compute_ti_inh : ('a * Ag_types.StrG.vertex list * 'b * Ag_types.StrG.t) -> Ag_types.StrG.vertex list -> Ag_types.StrG.vertex list
val compute_ti_syn_step : (Ag_types.StrG.vertex list * 'a * 'b * Ag_types.StrG.t) -> Ag_types.StrG.vertex list -> Ag_types.StrG.vertex list -> Ag_types.StrG.vertex list
val compute_ti_syn : (Ag_types.StrG.vertex list * 'a * 'b * Ag_types.StrG.t) -> Ag_types.StrG.vertex list -> Ag_types.StrG.vertex list
val compute_t1 : (Ag_types.StrG.vertex list * 'a * 'b * Ag_types.StrG.t) -> Ag_types.StrG.vertex list
val compute_pass : (Ag_types.StrG.vertex list * Ag_types.StrG.vertex list * 'a * Ag_types.StrG.t) -> (Ag_types.StrG.vertex list * Ag_types.StrG.vertex list) list -> Ag_types.StrG.vertex list * Ag_types.StrG.vertex list
val compute_all_passes : (Ag_types.StrG.vertex list * Ag_types.StrG.vertex list * 'a * Ag_types.StrG.t) -> (Ag_types.StrG.vertex list * Ag_types.StrG.vertex list) list
val compute_t_for_nt : Ag_types.AGOps.NTOps.memoized_af_ai_is_t -> ('a * (string * (Ag_types.StrG.vertex * Ag_types.StrG.vertex) list) list) -> string -> (Ag_types.StrG.vertex list * Ag_types.StrG.vertex list) list
val compute_t : Ag_types.AGOps.NTOps.memoized_af_ai_is_t -> (string * (Ag_types.StrG.vertex list * Ag_types.StrG.vertex list) list) list
val must_lookup_t : 'a -> ('a * 'b) list -> 'b
val find_mapi : (int -> 'a -> 'b option) -> 'a list -> 'b option
module VS : sig ... end
module VisitSequence = VS
val compute_visitors : Ag_types.AG.t -> (string * 'a list) list -> (Ag_types.PN.t * VisitSequence.tar_t list list) list -> (MLast.patt * MLast.expr * 'b list Ploc.vala) list
val compute_evaluate : Ag_types.AGOps.NTOps.memoized_af_ai_is_t -> (MLast.patt * MLast.expr * 'a list Ploc.vala) list * (MLast.patt * MLast.expr * 'b list Ploc.vala)