Module PythonFrontend.PyIRTypeInference

type field_type =
  1. | Class of {
    1. class_name : string;
    2. supers : string list;
    }
  2. | Fundef of {
    1. qual_name : string;
    }
  3. | Import of {
    1. module_name : string;
    }
  4. | ImportFrom of {
    1. module_name : string;
    2. attr_name : string;
    }
type field_decl = {
  1. name : string;
  2. typ : field_type;
}
type struct_kind =
  1. | Global
  2. | ClassCompanion of {
    1. supers : string list;
    }
type struct_type = {
  1. name : string;
  2. kind : struct_kind;
  3. fields : field_decl list;
}
type t = struct_type list
val pp : Stdlib.Format.formatter -> t -> unit
val gen_module_default_type : PyIR.Module.t -> t option
val gen_module_default_type_debug : PyIR.Module.t -> unit