Commit e3c4607a authored by POTTIER Francois's avatar POTTIER Francois
Browse files


parent 7a2a21db
Pipeline #249011 failed with stage
......@@ -161,7 +161,7 @@ let build dty f =
(* Convert the deep type [dty] and pass the variable that stands for its
root the user function [f]. *)
root to the user function [f]. *)
let rc, k = f (convert dty) in
(* Then, create a bunch of existential quantifiers, in an arbitrary order. *)
List.fold_left (fun rc v -> CExist (v, rc)) rc !vs,
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment