hypermap_tybij;;
type_of `tuple_hypermap`;;
type_of `hypermap`;;

(* text:hyp(V,E) *)
let `hyp_of_fano (V,E) = 
   hypermap(    ,   ,  , )`;;