kdrag.parsers.microlean.sort

kdrag.parsers.microlean.sort(tree: Tree, env: Env) → SortRef
Parameters:

  • tree (Tree)

  • env (Env)

Return type:

SortRef