PyIR (infer.PythonFrontend.PyIR)

module Location : sig ... end

module Error : sig ... end

module NodeName : sig ... end

module SSA : sig ... end

module Ident : sig ... end

module ScopedIdent : sig ... end

module QualName : sig ... end

module UnaryOp : sig ... end

module BinaryOp : sig ... end

module CompareOp : sig ... end

module FormatFunction : sig ... end

module BuiltinCaller : sig ... end

module Const : sig ... end

module Exp : sig ... end

module Stmt : sig ... end

module Terminator : sig ... end

module Node : sig ... end

module CodeInfo : sig ... end

module CFG : sig ... end

module Module : sig ... end

val mk : debug:bool -> FFI.Code.t -> (Module.t, Error.t) IStdlib.IStd.result

val test : 
  ?filename:string ->
  ?debug:bool ->
  ?run:(Module.t -> unit) ->
  string ->
  unit

val test_files : 
  ?debug:bool ->
  ?run:(Module.t list -> unit) ->
  (string * string) list ->
  unit

val test_cfg_skeleton : ?filename:string -> string -> unit