19 open Hints_declaration
33 type ('b, 'e) bind_list = ('b, 'e List.list) Bind_new.bind_new
35 (** val dpi1__o__blist_from_list__o__inject :
36 ('a2 List.list, 'a3) Types.dPair -> ('a1, 'a2 List.list)
37 Bind_new.bind_new Types.sig0 **)
38 let dpi1__o__blist_from_list__o__inject x4 =
39 Bind_new.Bret x4.Types.dpi1
41 (** val eject__o__blist_from_list__o__inject :
42 'a2 List.list Types.sig0 -> ('a1, 'a2 List.list) Bind_new.bind_new
44 let eject__o__blist_from_list__o__inject x4 =
45 Bind_new.Bret (Types.pi1 x4)
47 (** val blist_from_list__o__inject :
48 'a2 List.list -> ('a1, 'a2 List.list) Bind_new.bind_new Types.sig0 **)
49 let blist_from_list__o__inject x3 =
52 (** val dpi1__o__blist_from_list :
53 ('a2 List.list, 'a3) Types.dPair -> ('a1, 'a2 List.list)
55 let dpi1__o__blist_from_list x3 =
56 let l = x3.Types.dpi1 in Bind_new.Bret l
58 (** val eject__o__blist_from_list :
59 'a2 List.list Types.sig0 -> ('a1, 'a2 List.list) Bind_new.bind_new **)
60 let eject__o__blist_from_list x3 =
61 let l = Types.pi1 x3 in Bind_new.Bret l
64 ('a1, 'a2) bind_list -> ('a1, 'a2) bind_list -> ('a1, 'a2) bind_list **)
67 (Monad.m_bin_op (Monad.max_def Bind_new.bindNew) List.append
80 (** val bcons : 'a2 -> ('a1, 'a2) bind_list -> ('a1, 'a2) bind_list **)
83 (Monad.m_map (Monad.max_def Bind_new.bindNew) (fun x -> List.Cons (e,