Nusmv.Output_parser
val parse_word_constant : Base.string -> Hardcaml.Bits.t
val parse : Base.string Base.list -> Proof_result.t Base.list