eumercy

Untitled

Apr 13th, 2024
33
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. (*Exemples de termes*)
  2. let a = Const 42;;
  3.  let x = Variable "x";;
  4.  let y = Variable "y";;
  5.  let z = Variable "z";;
  6.  
  7. let a = Const 26;;
  8.  let b = Const 19;;
  9. let c = Const 20;;
  10.  
  11.  let f_addition=Fonction ("addition", List (Variable "x",[ (Variable "y")]));;
  12.  let f_moyenne = Fonction ("moyenne", List (x, [y; z; a ]));;
  13. let f_multiplication = Fonction ("multiplication", List (x, [y;z]));;
  14. let f_soustraction = Fonction ("soustraction", List (x, [y;z]));;
  15.  let f_max = Fonction ("max", List (x, [y; z]));;
  16. let f_compose = Fonction ("compose", List (f_addition, [f_multiplication; f_soustraction]));;
  17. let f_concat_strings = Fonction ("concat_strings", List (x, [y]));;
  18.  
  19.  
  20.  
Add Comment
Please, Sign In to add comment