Jukebox.Tools.EncodeTypes

data Scheme

data Scheme1

guard

translate

translate1

tagsFlags

tags

tags1

tagsAxiom

tagsExists

guards

guards1

naked

guardsAxiom

guardsTypeAxiom