blob: 54d1db44a433c07d4261ad8ff5befbe5156e6150 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
(* compatibility module; can be removed once we agree on the API *)
type t = Declare.Proof.t
[@@ocaml.deprecated "Use [Declare.Proof.t]"]
let map_proof = Declare.Proof.map_proof
[@@ocaml.deprecated "Use [Declare.Proof.map_proof]"]
let get_proof = Declare.Proof.get_proof
[@@ocaml.deprecated "Use [Declare.Proof.get_proof]"]
type opacity_flag = Declare.opacity_flag =
| Opaque [@ocaml.deprecated "Use [Declare.Opaque]"]
| Transparent [@ocaml.deprecated "Use [Declare.Transparent]"]
|
