kdrag.theories.logic.intuitionistic.Const

kdrag.theories.logic.intuitionistic.Const(name: str, sort: SortRef) → DatatypeRef

Parameters:

• name (str)

• sort (SortRef)

Return type:

DatatypeRef