(
setsStarts a set creation.
The (
function creates a set by pushing a mark onto the stack. This is a syntactic help to better present set constructions. This function behaves like MARK
.
Loading
Starts a set creation.
The (
function creates a set by pushing a mark onto the stack. This is a syntactic help to better present set constructions. This function behaves like MARK
.