Module type Fl_topo.IdentifiedType

type t
type id_t
val id : t -> id_t