package inferno

  1. Overview
  2. Docs
type 'a structure
val map : ('a -> 'b) -> 'a structure -> 'b structure
val iter : ('a -> unit) -> 'a structure -> unit
val fold : ('a -> 'b -> 'b) -> 'a structure -> 'b -> 'b
exception Iter2
val iter2 : ('a -> 'b -> unit) -> 'a structure -> 'b structure -> unit