1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
(module (type $t1 (func)) (type $t2_a (func (param (ref $t1) (ref $t1)))) (type $t2_b (func (param (ref $t1) (ref $t1)))) (func $f (param (ref $t2_a)) nop ) (func $g (param (ref $t2_b)) local.get 0 call $f ) )