stdlib - 0.11.1

Stdlib.Trait.Show

Definitions

import Juvix.Builtin.V1.String open public

trait type Show ASource#

Constructors

mk@{ show : A -> String; }

open Show using {show} public