package calli

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t =

| Br of {
1. bb_name : string;
2. succ : Expr.t;
}
| CondBr of {
1. bb_name : string;
2. cond : Expr.t;
3. succ0 : Expr.t;
4. succ1 : Expr.t;
}
| Switch of {
1. bb_name : string;
2. cond : Expr.t;
3. default_succ : Expr.t;
4. succ : (Expr.t * Expr.t) list;
}
| Ret of {
1. bb_name : string;
2. ret : Expr.t;
}
| Exit of {
1. bb_name : string;
}
| CallSite of {
1. bb_name : string;
2. callee : string;
3. args : Expr.t list;
}
| Other

val pp_switch_succ : Stdlib.Format.formatter -> (Expr.t * Expr.t) list -> unit

val pp : Stdlib.Format.formatter -> t -> unit