An IR rule: a head atom, a body of literals, an assigned stratum, and optional metadata.
Summary
Types
@type t() :: %ExDatalog.IR.Rule{ body: [ExDatalog.IR.ir_literal()], head: ExDatalog.IR.Atom.t(), id: non_neg_integer(), metadata: map(), stratum: non_neg_integer() }