# `ExDatalog.IR.Fact`
[🔗](https://github.com/thanos/ex_datalog/blob/v0.5.0/lib/ex_datalog/ir.ex#L88)

An IR fact: a ground tuple asserted as true for a given relation.

# `t`

```elixir
@type t() :: %ExDatalog.IR.Fact{
  relation: String.t(),
  values: [ExDatalog.IR.ir_value()]
}
```

# `serialize`

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

---

*Consult [api-reference.md](api-reference.md) for complete listing*