Commit 6bf8e58a authored by Steffen Michels's avatar Steffen Michels

use 'as' instead of @

parent 14fc4ffe
Pipeline #12357 passed with stage
in 33 seconds
......@@ -58,13 +58,13 @@ name :: !n !p -> Property | Testable p & toString n
/**
* Assigns a name to a testable property.
*
* @param The testable property
* @param The name
* @param The testable property
* @return The named property
* @type n p -> Property | Testable p & toString n
*/
(@) infix 0
(@) n p :== name n p
(as) infix 0
(as) p n :== name n p
limitNrOfRecFieldValues :: !(Map (TypeName, RecFieldName) Int) !p -> Property | Testable p
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment