PyClassDecl.Statetype method_info = private {name : string;raw_qualified_name : string;code : FFI.Constant.t;signature : PyCommon.signature;defaults : PyEnv.DataStack.cell list;is_static : bool;is_abstract : bool;flags : PyCommon.MakeFunctionFlags.t;}type t = private {members : PyCommon.annotated_name list;methods : method_info list;static_methods : method_info list;has_annotations : bool;has_init : PyCommon.annotated_name list option;has_new : PyCommon.annotated_name list option;}