(**************************************************************************)
include "ground_2/notation/constructors/cons_2.ma".
(**************************************************************************)
include "ground_2/notation/constructors/cons_2.ma".