Sha256: f3da989e69a216ac194f67731b2bbe66abdbe613a009aad03a0e45a56f9e34a0
Contents?: true
Size: 383 Bytes
Versions: 19
Compression:
Stored size: 383 Bytes
Contents
module Finitio
module Syntax
module Expr
module LogicNot
include Expr
capture :term
def to_proc_source
l = term.to_proc_source
"!(#{l})"
end
def _free_variables(fvs)
term._free_variables(fvs)
end
end # module LogicNot
end # module Expr
end # module Syntax
end # module Finitio
Version data entries
19 entries across 19 versions & 1 rubygems