fact: Record Language : Type := language { Relations : Set; Functions : Set; arityR : Relations -> nat; arityF : Functions -> nat}.
imports: Coq(Lists.List Ensembles Peano_dec Eqdep_dec Arith Compare_dec Utf8) hydras(Ackermann.misc Compat815 )