class

Horn::QueryResult

Inherits Horn::Solution < Reference < Object

Constructors

new(query : Horn::Expr | Nil, result : Horn::Value)
Source

Instance methods

print(io : IO)
Source
query
Source
result
Source