Data.Logic.Types.FirstOrderPublic

data Formula v p f

class Bijection p i