23 open Hints_declaration
55 type 'a labelled_obj =
56 (PreIdentifiers.identifier Types.option, 'a) Types.prod
58 val instruction_matches_identifier :
59 PreIdentifiers.identifierTag -> PreIdentifiers.identifier -> 'a1
60 labelled_obj -> Bool.bool
63 PreIdentifiers.identifierTag -> PreIdentifiers.identifier -> 'a1
64 labelled_obj List.list -> Bool.bool
66 val occurs_exactly_once :
67 PreIdentifiers.identifierTag -> PreIdentifiers.identifier -> 'a1
68 labelled_obj List.list -> Bool.bool
70 val index_of_internal :
71 ('a1 -> Bool.bool) -> 'a1 List.list -> Nat.nat -> Nat.nat
73 val index_of : ('a1 -> Bool.bool) -> 'a1 List.list -> Nat.nat
76 PreIdentifiers.identifierTag -> PreIdentifiers.identifier -> 'a1
77 labelled_obj List.list -> Nat.nat