kdrag.theories.logic.intuitionistic.Implies

kdrag.theories.logic.intuitionistic.Implies(p: DatatypeRef, q: DatatypeRef) → DatatypeRef

Parameters:

• p (DatatypeRef)

• q (DatatypeRef)

Return type:

DatatypeRef