package dolmen

You can search for identifiers within the package.

in-package search v0.2.0

Source file `dolmen_tptp.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14

(* This file is free software, part of dolmen. See file "LICENSE" formore information *)

type version = [
  | `Latest
  | `V6_3_0
]

(* Alias the sub-libraries *)
module V6_3_0 = Dolmen_tptp_v6_3_0

(* Alias for the latest module *)
module Latest = V6_3_0