Alloy Show Functions in Submodule

Question

I have a module test.als

module test

sig Sig1 {}

fun f:Sig1->Sig1 {iden}

run {#Sig1 = 1} for 1

and a submodule test2.als

mod