forwardRefSort function
A forward reference to a datatype with the given name
, used in recursive
datatypes.
Implementation
ForwardRefSort forwardRefSort(String name) =>
ForwardRefSort(Sym(name)).declare();
A forward reference to a datatype with the given name
, used in recursive
datatypes.
ForwardRefSort forwardRefSort(String name) =>
ForwardRefSort(Sym(name)).declare();