Module Lattice.Base.S


module S: sig .. end

val true_str : string
val false_str : string