let rec reduce_ldecl ~env (lsclass, typ, id, initopt) = let typ = convert_type typ in let initopt = Option.map (reduce_initializer ~env ~typ:typ) initopt in (lsclass, typ, id, initopt)