module Stdlib.Debug.Trace;

--- Primitive that prints the given element and returns it.
builtin trace
axiom trace : {A : Type} -> A -> A;