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

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

Implements the abstraction function α_Agda that lifts Agda-specific AST structures to the meta-level representation.

3-Tuple Format

All MetaAST nodes use the uniform 3-tuple structure: {type_atom, keyword_meta, children_or_value}

transform(node)

Transform Agda AST to MetaAST.

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

Transform Agda AST to MetaAST.

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