source: Deliverables/D4.1/ASMCosts.mli

Last change on this file was 454, checked in by sacerdot, 9 years ago

CSC + Nicolas + Dominic:

1) back-porting of changes by Nicolas from the compiler
2) new file ASMCosts to compute the cost of labels
3) several changes here and there to implement 2)

File size: 212 bytes
2(** This module defines the cost increment associated to each cost
3    label of a [ASM] program. *)
5module StringMap: Map.S with type key = string
7val compute : ASMInterpret.labelled_memory -> int StringMap.t
Note: See TracBrowser for help on using the repository browser.