blob: e3426eb4de58d6f6a45f445ed155377fe0e0d5fb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
(* *************************************************************)
(* *)
(* The Compcert verified compiler *)
(* *)
(* David Monniaux CNRS, VERIMAG *)
(* *)
(* Copyright VERIMAG. All rights reserved. *)
(* This file is distributed under the terms of the INRIA *)
(* Non-Commercial License Agreement. *)
(* *)
(* *************************************************************)
type pset
val qnode : pset -> bool -> pset -> pset
val node : pset * bool * pset -> pset
val empty : pset
val pset_match : (unit -> 'a) -> (pset -> bool -> pset -> 'a) -> pset -> 'a
val eq : pset -> pset -> bool
|