Changeset 757 for src/common/AST.ma


Ignore:
Timestamp:
Apr 18, 2011, 12:30:53 PM (9 years ago)
Author:
mulligan
Message:

Lots more fixing to get both front and backends using same conventions and types.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/AST.ma

    r747 r757  
    497497
    498498(* dpm: should go to standard library *)
    499 let rec member (i: Identifier) (eq_i: Identifier → Identifier → bool)
    500                (g: list Identifier) on g: Prop ≝
     499let rec member (i: ident) (eq_i: ident → ident → bool)
     500               (g: list ident) on g: Prop ≝
    501501  match g with
    502502  [ nil ⇒ False
Note: See TracChangeset for help on using the changeset viewer.