Module Printslambda
module SL := Slambdaval slambda : Stdlib.Format.formatter -> SL.t -> unitval program : Stdlib.Format.formatter -> SL.program -> unitPrintslambdamodule SL := Slambdaval slambda : Stdlib.Format.formatter -> SL.t -> unitval program : Stdlib.Format.formatter -> SL.program -> unit