bindlib 5.0.1 · OCaml Package

type 'a var

type 'a mvar = 'a var array

type ('a, 'b) binder

type ('a, 'b) mbinder

val subst : ('a, 'b) binder -> 'a -> 'b

val msubst : ('a, 'b) mbinder -> 'a array -> 'b

val new_var : ('a var -> 'a) -> string -> 'a var

val new_mvar : ('a var -> 'a) -> string array -> 'a mvar

val name_of : 'a var -> string

val names_of : 'a mvar -> string array

val unbind : ('a, 'b) binder -> 'a var * 'b

val unbind2 : ('a, 'b) binder -> ('a, 'c) binder -> 'a var * 'b * 'c

val eq_binder : 
  ('b -> 'b -> bool) ->
  ('a, 'b) binder ->
  ('a, 'b) binder ->
  bool

val unmbind : ('a, 'b) mbinder -> 'a mvar * 'b

val unmbind2 : ('a, 'b) mbinder -> ('a, 'c) mbinder -> 'a mvar * 'b * 'c

val eq_mbinder : 
  ('b -> 'b -> bool) ->
  ('a, 'b) mbinder ->
  ('a, 'b) mbinder ->
  bool

type +'a box

val box_var : 'a var -> 'a box

val box : 'a -> 'a box

val apply_box : ('a -> 'b) box -> 'a box -> 'b box

val box_apply : ('a -> 'b) -> 'a box -> 'b box

val box_apply2 : ('a -> 'b -> 'c) -> 'a box -> 'b box -> 'c box

val bind_var : 'a var -> 'b box -> ('a, 'b) binder box

val bind_mvar : 'a mvar -> 'b box -> ('a, 'b) mbinder box

val box_binder : ('b -> 'b box) -> ('a, 'b) binder -> ('a, 'b) binder box

val box_mbinder : ('b -> 'b box) -> ('a, 'b) mbinder -> ('a, 'b) mbinder box

val unbox : 'a box -> 'a

val box_opt : 'a box option -> 'a option box

val box_list : 'a box list -> 'a list box

val box_rev_list : 'a box list -> 'a list box

val box_array : 'a box array -> 'a array box

val box_apply3 : ('a -> 'b -> 'c -> 'd) -> 'a box -> 'b box -> 'c box -> 'd box

val box_apply4 : 
  ('a -> 'b -> 'c -> 'd -> 'e) ->
  'a box ->
  'b box ->
  'c box ->
  'd box ->
  'e box

val box_pair : 'a box -> 'b box -> ('a * 'b) box

val box_triple : 'a box -> 'b box -> 'c box -> ('a * 'b * 'c) box

module type Map = sig ... end

module Lift (M : Map) : sig ... end

module type Map2 = sig ... end

module Lift2 (M : Map2) : sig ... end

val hash_var : 'a var -> int

val compare_vars : 'a var -> 'b var -> int

val eq_vars : 'a var -> 'b var -> bool

val binder_name : ('a, 'b) binder -> string

val binder_occur : ('a, 'b) binder -> bool

val binder_constant : ('a, 'b) binder -> bool

val binder_closed : ('a, 'b) binder -> bool

val binder_rank : ('a, 'b) binder -> int

val mbinder_arity : ('a, 'b) mbinder -> int

val mbinder_names : ('a, 'b) mbinder -> string array

val mbinder_occurs : ('a, 'b) mbinder -> bool array

val mbinder_constant : ('a, 'b) mbinder -> bool

val mbinder_closed : ('a, 'b) mbinder -> bool

val mbinder_rank : ('a, 'b) mbinder -> int

val is_closed : 'a box -> bool

val occur : 'a var -> 'b box -> bool

val bind_apply : ('a, 'b) binder box -> 'a box -> 'b box

val mbind_apply : ('a, 'b) mbinder box -> 'a array box -> 'b box

type ctxt

val empty_ctxt : ctxt

val new_var_in : ctxt -> ('a var -> 'a) -> string -> 'a var * ctxt

val new_mvar_in : ctxt -> ('a var -> 'a) -> string array -> 'a mvar * ctxt

val unbind_in : ctxt -> ('a, 'b) binder -> 'a var * 'b * ctxt

val unmbind_in : ctxt -> ('a, 'b) mbinder -> 'a mvar * 'b * ctxt

val uid_of : 'a var -> int

val uids_of : 'a mvar -> int array

val copy_var : 'b var -> ('a var -> 'a) -> string -> 'a var

val reset_counter : unit -> unit

val dummy_box : 'a box

val binder_compose : ('a, 'b) binder -> ('b -> 'c) -> ('a, 'c) binder

val mbinder_compose : ('a, 'b) mbinder -> ('b -> 'c) -> ('a, 'c) mbinder

val raw_binder : 
  string ->
  bool ->
  int ->
  ('a var -> 'a) ->
  ('a -> 'b) ->
  ('a, 'b) binder

val raw_mbinder : 
  string array ->
  bool array ->
  int ->
  ('a var -> 'a) ->
  ('a array -> 'b) ->
  ('a, 'b) mbinder

package bindlib