Module Env.FunsSource

Sourceval push : 'asm env -> (unit, 'asm) Prog.pfunc -> fun_sig -> 'asm env
Sourceval find : Annotations.symbol -> 'asm env -> ((unit, 'asm) Prog.pfunc * fun_sig) option