Parameter FullFOMHM.T

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