[helm.git] / matita / matita / contribs / lambdadelta / bin / recomm / recommOutput.mli

val width: int ref

val replace: bool ref

val write_srcs: string -> RecommTypes.srcs -> unit

val write_substs: out_channel -> RecommTypes.srcs -> unit