Ignore:
Timestamp:
Mar 4, 2011, 6:20:26 PM (9 years ago)
Author:
campbell
Message:

A few definitions that will be useful for some preliminary rtlabs semantics.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.1/C-semantics/AST.ma

    r487 r636  
    436436  ef_sig: signature
    437437}.
    438 (*
    439 inductive fundef (F: Type): Type
     438
     439inductive fundef (F: Type[0]): Type[0]
    440440  | Internal: F → fundef F
    441441  | External: external_function → fundef F.
    442 
     442(*
    443443(* Implicit Arguments External [F]. *)
    444444(*
Note: See TracChangeset for help on using the changeset viewer.