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 ->
  path_prefix:string option ->
  FFI.Code.t ->
  (Module.t, Error.t) IStdlib.IStd.result

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

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

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