exception Not_unifiable

exception Undefined

val cbv : Langage.prog -> int ref -> int ref -> int ref -> int ref -> Langage.term -> Langage.term
val memoize : Langage.prog -> int ref -> int ref -> int ref -> int ref -> Langage.term -> Langage.term

