pub unsafe extern "C" fn ListDefinstances( arg1: *mut Environment, arg2: *const c_char, arg3: *mut Defmodule)