Commit f4786cb6 authored by POTTIER Francois's avatar POTTIER Francois

Import [BindingFormsUnbound] into [BindingForms].

parent 592130bb
......@@ -16,6 +16,32 @@
type ('bn, 't) abs =
('bn, 't) BindingFormsAbs.abs
(* Import the type definitions in [BindingFormsUnbound]. *)
type 'p abstraction =
'p BindingFormsUnbound.abstraction
type 'bn binder =
'bn BindingFormsUnbound.binder
type 't inner =
't BindingFormsUnbound.inner
type 't outer =
't BindingFormsUnbound.outer
type 'p rebind =
'p BindingFormsUnbound.rebind
type 'p repeat =
'p BindingFormsUnbound.repeat
type 'p recursive =
'p BindingFormsUnbound.recursive
type ('p, 't) bind =
('p, 't) BindingFormsUnbound.bind
(* -------------------------------------------------------------------------- *)
(* The empty type [void] is used in the definition of the dummy methods
......@@ -60,6 +86,7 @@ class virtual ['self] map = object (_ : 'self)
= fun _ _ -> assert false
inherit [_] BindingFormsAbs.map
inherit [_] BindingFormsUnbound.map
end
......
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