pub unsafe extern "C" fn AddConstruct(
arg1: *mut Environment,
arg2: *const c_char,
arg3: *const c_char,
arg4: Option<unsafe extern "C" fn(arg1: *mut Environment, arg2: *const c_char) -> bool>,
arg5: FindConstructFunction,
arg6: Option<unsafe extern "C" fn(arg1: *mut ConstructHeader) -> *mut CLIPSLexeme>,
arg7: Option<unsafe extern "C" fn(arg1: *mut ConstructHeader) -> *const c_char>,
arg8: Option<unsafe extern "C" fn(arg1: *mut ConstructHeader) -> *mut defmoduleItemHeader>,
arg9: GetNextConstructFunction,
arg10: Option<unsafe extern "C" fn(arg1: *mut ConstructHeader, arg2: *mut ConstructHeader)>,
arg11: IsConstructDeletableFunction,
arg12: DeleteConstructFunction,
arg13: FreeConstructFunction
) -> *mut Construct