package apron

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

val meet_apply : 
  'a man ->
  'a t ->
  'a Abstract0.t ->
  'a Abstract0.t ->
  'a Abstract0.t

val meet_array_apply : 'a man -> 'a t -> 'a Abstract0.t array -> 'a Abstract0.t

val meet_lincons_array_apply : 
  'a man ->
  'a t ->
  'a Abstract0.t ->
  Lincons0.t array ->
  'a Abstract0.t

val meet_tcons_array_apply : 
  'a man ->
  'a t ->
  'a Abstract0.t ->
  Tcons0.t array ->
  'a Abstract0.t

val meet_with_apply : 
  'a man ->
  'a t ->
  'a Abstract0.t ->
  'a Abstract0.t ->
  unit

val meet_lincons_array_with_apply : 
  'a man ->
  'a t ->
  'a Abstract0.t ->
  Lincons0.t array ->
  unit

val meet_tcons_array_with_apply : 
  'a man ->
  'a t ->
  'a Abstract0.t ->
  Tcons0.t array ->
  unit

val meet_improve : 
  'a man ->
  'a t option ->
  'a Abstract0.t ->
  'a Abstract0.t ->
  'a t

val meet_array_improve : 'a man -> 'a t option -> 'a Abstract0.t array -> 'a t

val meet_lincons_array_improve : 
  'a man ->
  'a t option ->
  'a Abstract0.t ->
  Lincons0.t array ->
  'a t

val meet_tcons_array_improve : 
  'a man ->
  'a t option ->
  'a Abstract0.t ->
  Tcons0.t array ->
  'a t