Type Definition antic::lnf_elem_t

type lnf_elem_t = [lnf_elem_struct; 1];