(* 4.1 *) 
 
(* val baito_kyuyo : int -> int -> int = <fun> *) 
 
(* 4.2 *) 
 
(* val jikoshokai : string -> string = <fun> *) 
 
(* 4.3 *) 
 
(* val hyojun_taiju : float -> float = <fun> *) 
 
(* 4.4 *) 
 
(* val bmi : float -> float -> float = <fun> *)