package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type gshape

val create : unit -> gshape

val copy : gshape -> gshape -> unit

val clear_gs : gshape -> unit

val add_shape_g : gshape -> string -> unit

val write_shape_to_file : gshape -> Compress.Compress_z.out_channel -> unit

val goal_and_expl_shapes : gshape -> bound_shape -> shape

val t_bound_shape_task : 
  gshape ->
  version:int ->
  expl:string ->
  Task.task ->
  bound_shape

val empty_bshape : bound_shape