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