我们使用术语“变量”来表示通用变量和存在变量。无量词公式不包含变量,只包含常量。但至少我们可以同时得到一个值为3的int_instance。z, w = Consts('x y z w', BlockType)
我认为这意味着,常量"x,y,z,w“可以是block1或block2,这取决于我们为下一个Solver().add()设置的约束,但现在我希望常量"x,y,z,w”是
在2.2 Class and Module Definitions are Constant Assignments一节class Project < ApplicationRecordend Project = Class.new(ApplicationRecord)
因此,当一个非正式地说“String类”时,这实际上意味着:存储在常量中的类对象称为"String“,存储在对象常量中的类对象。除此