Skip to content
Snippets Groups Projects
Normal view Permalink
licEvalClock.mli 348 B
Newer Older
Erwan Jahier's avatar
Remove all references to Ident.idref from Lic.  
Erwan Jahier committed
1 
(* Time-stamp: <modified the 12/02/2013 (at 18:07) by Erwan Jahier> *)
Erwan Jahier's avatar
Documentation et renommage des modules.
Erwan Jahier committed
2 3 4 5 6 7 8 9 10 

(** Performs static evaluations of predefined operators in clocks expressions *)

exception EvalClock_error of string

type clocker = UnifyClock.subst -> Lic.id_clock list list -> 
  Lic.id_clock list * UnifyClock.subst
Erwan Jahier's avatar
Remove all references to Ident.idref from Lic.  
Erwan Jahier committed
11 
val f: IdSolver.t -> AstPredef.op -> Lxm.t -> clocker