tract_fact_dump

Function tract_fact_dump 

Source
pub unsafe extern "C" fn tract_fact_dump(
    fact: *const TractFact,
    spec: *mut *mut c_char,
) -> TRACT_RESULT
Expand description

Write a fact as its specification string.

The returned string must be freed by the caller using tract_free_cstring.