inline "cic:/CoRN/ftc/IntervalFunct/IConst_strext.con".
inline "cic:/CoRN/ftc/IntervalFunct/IConst.con".
(* UNEXPORTED
inline "cic:/CoRN/ftc/IntervalFunct/IConst_strext.con".
inline "cic:/CoRN/ftc/IntervalFunct/IConst.con".
(* UNEXPORTED
inline "cic:/CoRN/ftc/IntervalFunct/IComp_strext.con".
inline "cic:/CoRN/ftc/IntervalFunct/IComp.con".
(* UNEXPORTED
inline "cic:/CoRN/ftc/IntervalFunct/IComp_strext.con".
inline "cic:/CoRN/ftc/IntervalFunct/IComp.con".
(* UNEXPORTED