package why3

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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
OCaml

Innovation. Community. Security.