package libsail

  1. Overview
  2. Docs

Functions for generating and interacting with Sail call graphs

type node =
  1. | Register of Ast.id
  2. | Function of Ast.id
  3. | Mapping of Ast.id
  4. | Letbind of Ast.id
  5. | Type of Ast.id
  6. | Overload of Ast.id
  7. | Constructor of Ast.id
  8. | FunctionMeasure of Ast.id
  9. | LoopMeasures of Ast.id
  10. | Outcome of Ast.id
val node_id : node -> Ast.id
module Node : sig ... end
module G : sig ... end
type callgraph = G.graph
val filter_ast : Stdlib.Set.Make(Node).t -> callgraph -> 'a Ast_defs.ast -> 'a Ast_defs.ast
val filter_ast_extra : Stdlib.Set.Make(Node).t -> callgraph -> 'a Ast_defs.ast -> bool -> 'a Ast_defs.ast
OCaml

Innovation. Community. Security.