package why3

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

Parameters

module Old : S

module New : S

val associate : 
  use_shapes:bool ->
  'a Old.t list ->
  'b New.t list ->
  ('b New.t * ('a Old.t * bool) option) list * 'a Old.t list