Sha256: be88ef02d689491e7177982e099cf541d63ebe80e7ff75c3aa4ea394000e3b3e
Contents?: true
Size: 474 Bytes
Versions: 19
Compression:
Stored size: 474 Bytes
Contents
module Finitio
module Syntax
module Expr
module LogicDyadic
include Expr
capture :left, :op, :right
def to_proc_source
l, r = left.to_proc_source, right.to_proc_source
"(#{l} #{op} #{r})"
end
def _free_variables(fvs)
left._free_variables(fvs)
right._free_variables(fvs)
end
end # module LogicDyadic
end # module Expr
end # module Syntax
end # module Finitio
Version data entries
19 entries across 19 versions & 1 rubygems