Module Pprod.Sig

module Sig: Acsym.SIG

val th : Th.t

val f : Sym.t