Ignore:
Timestamp:
Feb 7, 2013, 10:43:49 PM (8 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/labelledObjects.mli

    r2601 r2649  
    66
    77open Deqsets
     8
     9open ErrorMessages
    810
    911open PreIdentifiers
     
    2729open Util
    2830
     31open List
     32
    2933open Lists
    30 
    31 open Positive
    32 
    33 open Char
    3434
    3535open Bool
     
    3939open Nat
    4040
    41 open List
    42 
    43 open String
     41open Positive
    4442
    4543open Hints_declaration
     
    5957
    6058val instruction_matches_identifier :
    61   String.string -> PreIdentifiers.identifier -> 'a1 labelled_obj -> Bool.bool
     59  PreIdentifiers.identifierTag -> PreIdentifiers.identifier -> 'a1
     60  labelled_obj -> Bool.bool
    6261
    6362val does_not_occur :
    64   String.string -> PreIdentifiers.identifier -> 'a1 labelled_obj List.list ->
    65   Bool.bool
     63  PreIdentifiers.identifierTag -> PreIdentifiers.identifier -> 'a1
     64  labelled_obj List.list -> Bool.bool
    6665
    6766val occurs_exactly_once :
    68   String.string -> PreIdentifiers.identifier -> 'a1 labelled_obj List.list ->
    69   Bool.bool
     67  PreIdentifiers.identifierTag -> PreIdentifiers.identifier -> 'a1
     68  labelled_obj List.list -> Bool.bool
    7069
    7170val index_of_internal :
     
    7574
    7675val index_of_label :
    77   String.string -> PreIdentifiers.identifier -> 'a1 labelled_obj List.list ->
    78   Nat.nat
     76  PreIdentifiers.identifierTag -> PreIdentifiers.identifier -> 'a1
     77  labelled_obj List.list -> Nat.nat
    7978
Note: See TracChangeset for help on using the changeset viewer.