Parameter FOMHM.T

type dom
val equal : dom -> dom -> bool
val hash : dom -> int