FilesCompat.kind_from_nat: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/FilesCompat.bend as FilesCompat
Lines 17-24 of mylsm-lsm-store@0.6.0.1/src/FilesCompat.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/FilesCompat.bend&start_line=17&end_line=24

import Base

# Maps the operating-system kind code into the public file classification.
def kind_from_nat(kind: Nat) -> FileType:
  match kind:
    case 0n: Regular{}
    case 1n+rest:
      match rest:
        case 0n: Directory{}
        case 1n+rest: Other{}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/FilesCompat.bend&name=FileType