lib/sfrp/mono/type.rb
def memory(set)
        return Memory.one(@str) if infinite?
        x = @vconst_strs.reduce(Memory.empty) do |m, v_str|
          m.or(set.vconst(v_str).memory(set))
        end
        Memory.one(@str).and(x)
      end
# Return max memory size to hold an instance of this type.
Return max memory size to hold an instance of this type.
Return max memory size to hold an instance of this type .
def memory(set)
        return Memory.one(@str) if infinite?
        x = @vconst_strs.reduce(Memory.empty) do |m, v_str|
          m.or(set.vconst(v_str).memory(set))
        end
        Memory.one(@str).and(x)
      end
def memory ( set ) return Memory . one ( @str ) if infinite? x = @vconst_strs . reduce ( Memory . empty ) do | m , v_str | m . or ( set . vconst ( v_str ) . memory ( set ) ) end Memory . one ( @str ) . and ( x ) end
Return max memory size to hold an instance of this type.
Return max memory size to hold an instance of this type .
set