Module type HashCons.SERVICE

type data
val make : data -> data cell