factplusplus-d ~master (2022-02-21T06:53:57.0931003)

fact_disjoint_union

fact
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
extern (D) extern (C)
fact_axiom*
fact_disjoint_union
(
fact_reasoning_kernel*
,
fact_concept_expression* c
)

Meta

Source

See Implementation

fact aliasesfunctions

Page generated by adrdox