package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val register_apply_to_records : 
  (string list Wstdlib.Mstr.t ->
    string list ->
    Smt2_model_defs.term ->
    Smt2_model_defs.term) ->
  unit

val create_list : 
  Ident.ident Wstdlib.Mstr.t ->
  Ident.ident Wstdlib.Mstr.t ->
  (string * string) list Wstdlib.Mstr.t ->
  string list ->
  Ident.Sattr.t Wstdlib.Mstr.t ->
  Smt2_model_defs.definition Wstdlib.Mstr.t ->
  Model_parser.model_element list