kdrag.theories.logic.intuitionistic.Sort

kdrag.theories.logic.intuitionistic.Sort(sort: SortRef)
Parameters:

sort (SortRef)