(* Interface functions ******************************************************)
and type_of err f st c x = b_type_of err f st c x
(* Interface functions ******************************************************)
and type_of err f st c x = b_type_of err f st c x