package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val parse_term : Lexing.lexbuf -> Ptree.term

val parse_decl : Lexing.lexbuf -> Ptree.decl

val parse_term_list : Lexing.lexbuf -> Ptree.term list

val parse_qualid : Lexing.lexbuf -> Ptree.qualid

val parse_list_qualid : Lexing.lexbuf -> Ptree.qualid list

val parse_list_ident : Lexing.lexbuf -> Ptree.ident list

val parse_mlw_file : Lexing.lexbuf -> Ptree.mlw_file

val read_channel : 
  Env.env ->
  Env.pathname ->
  string ->
  in_channel ->
  Pmodule.mlw_file

val whyml_format : Env.fformat