Module Lib.Paths

module Paths: sig .. end
Paths Kind 2 can write some files. Factored to avoid clashes.

val testgen : string
Test generation files path.

Test generation oracle path.

val oracle : string
Rust generation path.
val implem : string