jukebox-0.4.2: A first-order reasoning toolbox

Index - :

::: 
1 (Type/Class)Jukebox.Name
2 (Data Constructor)Jukebox.Name
:=:Jukebox.Form
:>Jukebox.UnionFind
:@:Jukebox.Form