(* example.ml *)

let add (x:int) (y:int) : int = 
  failwith "unimplemented";;

let length (l:int list) : int= 
  failwith "unimplemented";;