kdrag.theories.logic.intuitionistic.Valid

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

p (DatatypeRef)

Return type:

BoolRef