module Stdlib.Trait.Show;

import Juvix.Builtin.V1.String open public;

trait
type Show A :=
  mk@{
    show : A -> String;
  };

open Show using {show} public;