ExDatalog.IR.Atom (ExDatalog v0.2.0)

Copy Markdown View Source

An IR atom: a relation reference with a list of IR terms.

Summary

Types

t()

Functions

serialize(atom)

Types

t()

@type t() :: %ExDatalog.IR.Atom{relation: String.t(), terms: [ExDatalog.IR.ir_term()]}

Functions

serialize(atom)

@spec serialize(t()) :: map()