let
compsubst (s2 : (
'
a,
'
b) s) (s1 : (
'
a,
'
b) s) =
(compsubst2 s2 s1 : (
'
a,
'
b) s)