Jukebox.Monotonox.ToFOF

data Scheme

data Scheme1

guard

translate

translate1

tagsFlags

tags

tags1

tagsAxiom

tagsExists

guards

guards1

naked

guardsAxiom

guardsTypeAxiom