sig
val
general_rec : ((
'
a
->
'
b)
->
'
a
->
'
b)
->
'
a
->
'
b
val
ounit_tests : unit
->
OUnit
.test
end