module Stdlib.Trait.Show;

import Stdlib.Data.String.Base open;

trait
type Show A := mkShow {show : A -> String};
Last modified on 2024-05-13 17:07 UTC