package why3

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val flag : Debug.flag
val dummy_id : Ident.ident
val def : kind:string -> Ident.ident -> unit
val use : kind:string -> Loc.position -> Ident.ident -> unit
type def_use =
  1. | Def
  2. | Use
val find : Loc.position -> Ident.ident * def_use * string
OCaml

Innovation. Community. Security.