package sail

  1. Overview
  2. Docs
type node =
  1. | Register of Ast.id
  2. | Function of Ast.id
  3. | Letbind of Ast.id
  4. | Type of Ast.id
  5. | Overload of Ast.id
  6. | Constructor of Ast.id
module Node : sig ... end
val dot_of_ast : Stdlib.out_channel -> Type_check.tannot Ast_defs.ast -> unit
val filter_ast : Stdlib.Set.Make(Node).t -> Graph.Make(Node).graph -> Type_check.tannot Ast_defs.ast -> Type_check.tannot Ast_defs.ast
OCaml

Innovation. Community. Security.