kdrag.theories.logic.sep.make_sep

kdrag.theories.logic.sep.make_sep(KeySort: SortRef) → Sep

Parameters:

KeySort (SortRef)

Return type:

Sep