1signature FCNet =
2sig
3  type 'a t
4  type term = Term.term
5
6  val empty          : 'a t
7  val insert         : term * 'a -> 'a t -> 'a t
8  val match          : term -> 'a t -> 'a list
9  val itnet          : ('a -> 'b -> 'b) -> 'a t -> 'b -> 'b
10  val size           : 'a t -> int
11
12  val can_match_term : term -> term -> bool
13end
14
15(* FCNet: a term-net that handles the pretty-printer's fake constants
16   as constants rather than the variables that they actually are.
17   Provides a matching function that does the same.
18*)
19