type u (* has uid Intf_uids.0 *)

type t (* has uid Intf_uids.1 *)