1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
open Util.Source
module MixopEntry = struct
type t = Mixop.t
let default : t = Mixfix.Atom (Atom.tag "EMPTY" $ no_region)
let equal = Mixop.eq
let hash (m : Mixop.t) : int =
Hashtbl.hash (Mixop.string_of_mixop m) land 0x7FFFFFFF
end
module MixopCache = Cache.Make.Make (MixopEntry)