Commit 75800e0d authored by POTTIER Francois's avatar POTTIER Francois

New auxiliary function [CodeBits.mapp].

parent fe033df0
......@@ -253,3 +253,9 @@ let with_types wk name tys =
List.fold_left (fun mt (params, name, ty) ->
MTWithType (mt, params, name, wk, ty)
) (MTNamedModuleType name) tys
let mapp me1 me2 =
MApp (me1, me2)
let mapp me1 mes2 =
List.fold_left mapp me1 mes2
......@@ -106,3 +106,6 @@ val interface_to_structure: interface -> structure
(* Constructing a named module type together with a list of "with type"
constraints. *)
val with_types: IL.with_kind -> string -> (string list * string * IL.typ) list -> IL.module_type
(* Functor applications. *)
val mapp: IL.modexpr -> IL.modexpr list -> IL.modexpr
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