module Stdlib.Debug.Todo;

--- Something that hasn't yet been implemented
axiom todo {A : Type} : A;