Method: Module::ConjunctiveType#>=

Defined in:
lib/composite_type.rb

#>=(t) ⇒ Object 



129
130
131
132
133
134
135
136
137
138
 
# File 'lib/composite_type.rb', line 129

def >= t
  case
  when super
    true
  when t.is_a?(self.class)
    t._t.all?{|e2| @_t.all?{|e1| e1 >= e2}}
  else
    @_t.all?{|e1| e1 >= t}
  end
end