Metastatic.Adapters.Agda.FromMeta (Metastatic v0.31.1)

Transform MetaAST (M2) back to Agda AST (M1).

This module implements the reification function ρ_Agda that converts meta-level representations back to Agda-specific AST structures.

Summary

Transform MetaAST back to Agda AST.

@spec transform(term(), map()) :: {:ok, term()} | {:error, String.t()}

Transform MetaAST back to Agda AST.

Returns {:ok, agda_ast} on success or {:error, reason} on failure.