lib/finitio/syntax/type/constraints.rb
module Finitio
module Syntax
module Constraints
include Node
def compile(var_name)
cs = captures[:constraint].map{|c| c.compile(var_name) }
unique_names!(cs, 'constraint')
end
def to_ast(var_name)
captures[:constraint].map{|c| c.to_ast(var_name) }
end
end # module Constraints
end # module Syntax
end # module Finitio