TFunName (p.jasmin.2025.06.1.doc.jasmin.jasmin.Jasmin.Var0.TFunName)

type t = FunName.t

val tag : t -> Uint63.t

val t_eqb : t -> t -> bool

val t_eq_axiom : t Eqtype.eq_axiom

val coq_HB_unnamed_factory_1 : t Eqtype.Coq_hasDecEq.axioms_

val coq_Tagged_t__canonical__eqtype_Equality : Eqtype.Equality.coq_type

val t_eqType : Eqtype.Equality.coq_type

val cmp : t -> t -> Datatypes.comparison

module CmpT : sig ... end

module Mt : Gen_map.MAP

module St : sig ... end

module StP : sig ... end

module StD : sig ... end