sig/signature.rbi in steep-0.1.0.pre vs sig/signature.rbi in steep-0.1.0.pre2

@@ -1,26 +1,41 @@
 class Steep__Signature__Error
   def initialize: (signature: Steep__Signature) -> any
   def signature: -> Steep__Signature
+  def puts: (any) -> any
 end
 
 class Steep__Signature__Errors__UnknownTypeName <: Steep__Signature__Error
   def initialize: (signature: Steep__Signature, type: Steep__Type) -> any
   def type: -> Steep__Type
 end
 
+class Steep__BlockType
+  def params: -> Steep__MethodParams
+  def return_type: -> Steep__Type
+end
+
+class Steep__MethodParams
+  def each_type: { (Steep__Type) -> any } -> instance
+end
+
 class Steep__MethodType
   def substitute: (klass: Steep__Type, instance: Steep__Type, params: Hash<Symbol, Steep__Type>) -> Steep__MethodType
+  def updated: (?type_params: Array<Symbol>, ?params: Steep__MethodParams, ?block: any, ?return_type: Steep__Type) -> Steep__MethodType
+  def params: -> Steep__MethodParams
+  def return_type: -> Steep__Type
+  def block: -> Steep__BlockType
 end
 
 class Steep__Interface
   def initialize: (name: Symbol, methods: Hash<Symbol, Steep__Method>) -> any
 end
 
 class Steep__Method
   def initialize: (types: Array<Steep__MethodType>, super_method: Steep__Method) -> any
   def substitute: (klass: Steep__Type, instance: Steep__Type, params: Hash<Symbol, Steep__Type>) -> Steep__Method
+  def types: -> Array<Steep__MethodType>
 end
 
 class Steep__Signature
 end
 
@@ -30,9 +45,86 @@
 class Steep__Signature__Errors__IncompatibleOverride <: Steep__Signature__Error
   def initialize: (signature: Steep__Signature, method_name: Symbol, this_method: Steep__Method, super_method: Steep__Method) -> any
   def method_name: -> Symbol
   def this_method: -> Steep__Method
   def super_method: -> Steep__Method
+end
+
+class Steep__SignatureMember__Method <: Steep__Signature__Member
+  def initialize: (name: Symbol, types: Array<Steep__MethodType>) -> any
+  def name: -> Symbol
+  def types: -> Array<Steep__MethodType>
+end
+
+class Steep__SignatureMember__Include <: Steep__Signature__Member
+  def initialize: (name: Symbol) -> any
+  def name: -> Symbol
+end
+
+class Steep__SignatureMember__Extend <: Steep__Signature__Member
+  def initialize: (name: Symbol) -> any
+  def name: -> Symbol
+end
+
+interface _Steep__SignatureMember__Mixin
+  def name: -> Steep__Type
+end
+
+interface _Steep__WithMethods
+  def instance_methods: (assignability: any, klass: Steep__Type, instance: Steep__Type, params: Array<Steep__Type>) -> Hash<Symbol, Steep__Method>
+  def module_methods: (assignability: any, klass: Steep__Type, instance: Steep__Type, params: Array<Steep__Type>) -> Hash<Symbol, Steep__Method>
+  def type_application_hash: (Array<Steep__Type>) -> Hash<Symbol, Steep__Type>
+  def members: -> Array<Steep__Signature__Member>
+  def is_class?: -> _Boolean
+end
+
+module Steep__Signature__WithMethods : _Steep__WithMethods
+  def instance_methods: (assignability: any, klass: Steep__Type, instance: Steep__Type, params: Array<Steep__Type>) -> Hash<Symbol, Steep__Method>
+  def module_methods: (assignability: any, klass: Steep__Type, instance: Steep__Type, params: Array<Steep__Type>) -> Hash<Symbol, Steep__Method>
+  def merge_methods: (Hash<Symbol, Steep__Method>, Hash<Symbol, Steep__Method>) -> Hash<Symbol, Steep__Method>
+end
+
+interface _Steep__WithMembers
+  def members: -> Array<Steep__Signature__Member>
+  def params: -> Array<Symbol>
+end
+
+module Steep__Signature__WithMembers : _Steep__WithMembers
+  def each_type: { (Steep__Type) -> any } -> any
+  def validate_mixins: (any, Steep__Interface) -> any
+end
+
+interface _Steep__WithParams
+end
+
+module Steep__Signature__WithParams : _Steep__WithParams
+  def type_application_hash: (Array<Steep__Type>) -> Hash<Symbol, Steep__Type>
+end
+
+class Steep__Signature__Module
+  include Steep__Signature__WithMethods
+  include Steep__Signature__WithMembers
+  include Steep__Signature__WithParams
+
+  def initialize: (name: Symbol, params: Array<Symbol>, members: Array<Steep__Signature__Member>, self_type: Steep__Type) -> any
+  def name: -> Symbol
+  def params: -> Array<Symbol>
+  def members: -> Array<Steep__Signature__Member>
+  def self_type: -> Steep__Type
+  def is_class?: -> _Boolean
+end
+
+class Steep__Signature__Class
+  include Steep__Signature__WithMethods
+  include Steep__Signature__WithMembers
+  include Steep__Signature__WithParams
+
+  def initialize: (name: Symbol, params: Array<Symbol>, members: Array<Steep__Signature__Member>, super_class: Steep__Types__Name) -> any
+  def name: -> Symbol
+  def params: -> Array<Symbol>
+  def members: -> Array<Steep__Signature__Member>
+  def super_class: -> Steep__Types__Name
+  def is_class?: -> _Boolean
 end
 
 class Steep__Signature__Extension
   def initialize: (module_name: Symbol, extension_name: Symbol, members: Array<Steep__Signature__Member>) -> any
   def module_name: -> Symbol