lean4-code-actions/libs/generic/models/AbsolutePath.test.ts

Refactorings and snippets for Lean 4

import { testSamples } from 'libs/utils/jest/testSamples'
import { AbsolutePathSchema } from './AbsolutePath'

testSamples(AbsolutePathSchema, [
  '/arst',
  '/arst/arst',
  '/arst/arst%20',
], [
  'arst',
  '/arst asrt',
  'arst/arst',
])