kdrag.theories.logic.intuitionistic.Not

kdrag.theories.logic.intuitionistic.Not(p: DatatypeRef) → DatatypeRef
Parameters:

p (DatatypeRef)

Return type:

DatatypeRef