sig   type 'a ffa   val make : int -> 'a -> 'a Kwffa.ffa   val length : 'a Kwffa.ffa -> int   val aget : 'a Kwffa.ffa -> int -> 'a   val aset : 'a Kwffa.ffa -> int -> 'a -> 'a Kwffa.ffa   val achange : 'a Kwffa.ffa -> int -> ('a -> 'a) -> 'a Kwffa.ffa   val foldl : ('a -> int -> 'b -> 'a) -> 'a -> 'b Kwffa.ffa -> 'a   val map : ('a -> 'a) -> 'a Kwffa.ffa -> 'a Kwffa.ffa   val mapi : (int -> 'a -> 'a) -> 'a Kwffa.ffa -> 'a Kwffa.ffa   val to_list : 'a Kwffa.ffa -> 'a list end