GadgetArr (B2R2)

GadgetArr Module

Function or value	Description
`pickAll chooser gadgets` Full Usage: `pickAll chooser gadgets` Parameters: chooser : `Gadget -> bool * 'a option` gadgets : `Gadget array` Returns: `(Gadget * 'a) list`	chooser : `Gadget -> bool * 'a option` gadgets : `Gadget array` Returns: `(Gadget * 'a) list`
`sort gadgets` Full Usage: `sort gadgets` Parameters: gadgets : `('a * Gadget) array` Returns: `Gadget array`	gadgets : `('a * Gadget) array` Returns: `Gadget array`
`tryFind` Full Usage: `tryFind` Returns: `('a -> bool) -> 'a array -> 'a option`	Returns: `('a -> bool) -> 'a array -> 'a option`