Module TermMono.ToFO.P

module P: TI.Print(T)