43 open Hints_declaration
55 type costlabel = PreIdentifiers.identifier
57 (** val costlabel_eq : costlabel -> costlabel -> (__, __) Types.sum **)
59 Identifiers.identifier_eq PreIdentifiers.CostTag
61 (** val costlabel_of_nat : Nat.nat -> costlabel **)
62 let costlabel_of_nat =
63 Identifiers.identifier_of_nat PreIdentifiers.CostTag