(*#* The accessibility predicate is defined to be non-informative *)
inline "cic:/CoRN/algebra/Basics/Acc.ind".
(* UNEXPORTED
(*#* The accessibility predicate is defined to be non-informative *)
inline "cic:/CoRN/algebra/Basics/Acc.ind".
(* UNEXPORTED