Stdlib.Debug.Trace
Contents
builtin trace axiom trace : {A : Type} -> A -> ASource#
Primitive that prints the given element and returns it.
