Syntactic errors: 7
Costabs-CoFloCo-TermDepth/isort_ho.abs:15:22:extraneous input 'ord' expecting ')'
def List<Nat> insert(ord)(Nat x, List<Nat> ys) =
---------------------^
Costabs-CoFloCo-TermDepth/isort_ho.abs:15:26:missing '=' at '('
def List<Nat> insert(ord)(Nat x, List<Nat> ys) =
-------------------------^
Costabs-CoFloCo-TermDepth/isort_ho.abs:15:31:mismatched input 'x' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def List<Nat> insert(ord)(Nat x, List<Nat> ys) =
------------------------------^
Costabs-CoFloCo-TermDepth/isort_ho.abs:15:48:mismatched input '=' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def List<Nat> insert(ord)(Nat x, List<Nat> ys) =
-----------------------------------------------^
Costabs-CoFloCo-TermDepth/isort_ho.abs:17:9:no viable alternative at input 'Nil=>'
    Nil => Cons(x,Nil);
--------^
Costabs-CoFloCo-TermDepth/isort_ho.abs:18:17:mismatched input '=>' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
    Cons(y,ysP) => case ord(x,y) {
----------------^
Costabs-CoFloCo-TermDepth/isort_ho.abs:22:2:extraneous input ';' expecting {<EOF>, 'stateupdate', 'productline', 'extension', 'module', 'root', 'delta', 'product'}
};
-^

Compilation failed with syntax errors.