Module Cfg.Edge

type block_edge = {
  1. label : string;
  2. stmts : BasilAST.BasilAST.statement list;
}
val equal_block_edge : block_edge -> block_edge -> Ppx_deriving_runtime.bool
val show_block_edge : block_edge -> string
val pp_block_edge : Containers.Format.formatter -> block_edge -> unit
val compare_block_edge : block_edge -> block_edge -> int
type t =
  1. | Block of block_edge
  2. | Return of BasilAST.BasilAST.expr list
  3. | GoTo
  4. | Nop
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
val create_block : label:string -> BasilAST.BasilAST.statement list -> t
val default : t