pub unsafe fn get_data_specification_constructors( data_spec: &data_specification, sort: *const _aterm, ) -> UniquePtr<CxxVector<aterm>> ⓘ
Returns the data constructors for the given sort.