bip icon indicating copy to clipboard operation
bip copied to clipboard

Results 2 bip issues
Sort by recently updated
recently updated
newest added

`hxfunc` has been renamed to `hxcfunc`

Hi, When dealing with objects of type `BipElt` or `BipFunction`, we have the `is_user_name` property. However, when working with objects of type `HxLvar`, the semantically identical property is called `has_user_name`...