GadgetArr (B2R2)

GadgetArr Module

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