lib/sfrp/mono/type.rb
# Return term-id of given vconst of this type.
Return term-id of given vconst of this type.
Return term - id of given vconst of this type .
def term_id(vconst_str)
        raise "#{@str} is infinite" if infinite?
        res = @vconst_strs.index(vconst_str)
        raise "#{vconst_str} is not a vconst of #{@str}" unless res
        res
      end
def term_id ( vconst_str ) raise "#{@str} is infinite" if infinite? res = @vconst_strs . index ( vconst_str ) raise "#{vconst_str} is not a vconst of #{@str}" unless res res end
Return term-id of given vconst of this type.
Return term - id of given vconst of this type .
vconst_str