Changeset 2775 for extracted/joint.mli


Ignore:
Timestamp:
Mar 5, 2013, 9:52:39 PM (7 years ago)
Author:
sacerdot
Message:

The compiler now computes also the stack cost model.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/joint.mli

    r2773 r2775  
    11241124type joint_program = (joint_function, Nat.nat) AST.program
    11251125
     1126type stack_cost_model = (AST.ident, Nat.nat) Types.prod List.list
     1127
     1128val stack_cost : params -> joint_program -> stack_cost_model
     1129
Note: See TracChangeset for help on using the changeset viewer.