class

Horn::Program

Inherits JSON::Serializable < Reference < Object

Constructors

new(*, __pull_for_json_serializable pull : JSON::PullParser)
Source

Instance methods

queries
Source
rules
Source