package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val compile_match : Task.task Trans.trans

val meta_proj : Theory.meta

val meta_infinite : Theory.meta

val meta_material : Theory.meta

val get_material_args : Theory.meta_arg list list -> bool list Ty.Mts.t

val is_infinite_ty : Ty.Sts.t -> bool list Ty.Mts.t -> Ty.ty -> bool