val lexico : ('a -> 'a -> int) -> 'a list -> 'a list -> int
 (*lexicographic extension of an ordering*)

val lpo : Ordering.precedence -> Langage.term -> Langage.term -> int

val lpo_prg : Langage.prog -> bool

val chklpo : string -> bool
 (*read the program in the file*)
