Parameter Make.H

type t
type id_t
val id : t -> id_t