abi_classes.ml
linksem_num
linksem_zarith
1 2 3 4 (*Generated by Lem from abis/abi_classes.lem.*) type 'a abiFeatureTagEquiv_class={ abiFeatureTagEquiv_method : 'a -> 'a -> bool }
1 2 3 4
(*Generated by Lem from abis/abi_classes.lem.*) type 'a abiFeatureTagEquiv_class={ abiFeatureTagEquiv_method : 'a -> 'a -> bool }