Module Core_extended.Generic
type ('a, 'b) c = ('a ‑> 'b) ‑> 'b
val (>:) : 'a ‑> (('b ‑> 'b) ‑> 'c ‑> 'a ‑> 'd) ‑> 'c ‑> 'd
val map : ('a ‑> 'b) ‑> f:'a ‑> 'b
val fold : (('a ‑> 'a) ‑> _) ‑> init:'b ‑> f:('b ‑> 'a ‑> 'b) ‑> 'b
val iter : (('a ‑> 'a) ‑> _) ‑> f:('a ‑> unit) ‑> unit
val length : (('a ‑> 'a) ‑> _) ‑> int
val to_list : (('a ‑> 'a) ‑> _) ‑> 'a list
val (>>|) : ('a ‑> 'b) ‑> 'a ‑> 'b
val __ : ((('a ‑> 'b) ‑> 'a ‑> 'b) ‑> 'c) ‑> 'c
val list : ('a ‑> 'b ‑> 'c) ‑> (('a ‑> 'b list ‑> 'c list) ‑> 'd) ‑> 'd
val option : ('a ‑> 'b ‑> 'c) ‑> (('a ‑> 'b option ‑> 'c option) ‑> 'd) ‑> 'd
val string : (((char ‑> char) ‑> string ‑> string) ‑> 'a) ‑> 'a