codept-lib 0.12.1 · OCaml Package

include tree

type path

type module_expr

type access

type minor

type minors

type module_type

type with_constraints

type m2l

type expr

type bind_rec

type ext

type path_expr

type path_expr_args

type opens

val path : Zipper_skeleton.query -> path

val abstract : module_expr

val alias : path -> module_type

val access_add : path_expr -> Uloc.t -> Deps.Edge.t -> access -> access

val access_init : access

val access : access -> minor

val pack : module_expr -> minor

val minor_ext : loc:Uloc.t -> string -> ext -> minor

val local_open : module_expr -> minors -> minor

val local_bind : Name.t option -> module_expr -> minors -> minor

val empty_minors : minors

val add_minor : minor -> minors -> minors

val apply : Uloc.t -> module_expr -> module_expr -> module_expr

val bind : Name.t option -> module_expr -> expr

val bind_alias : Name.t option -> Paths.S.t -> expr

val bind_rec : bind_rec -> expr

val bind_rec_add : Name.t option -> module_expr -> bind_rec -> bind_rec

val bind_rec_init : bind_rec

val bind_sig : Name.t option -> module_type -> expr

val expr_ext : string -> ext -> expr

val expr_include : loc:Uloc.t -> module_expr -> expr

val expr_open : loc:Uloc.t -> module_expr -> expr

val ext_module : m2l -> ext

val ext_val : minors -> ext

val m2l_add : Uloc.t -> expr -> m2l -> m2l

val m2l_init : m2l

val m2l : m2l -> m2l

val me_constraint : module_expr -> module_type -> module_expr

val me_ext : loc:Uloc.t -> string -> ext -> module_expr

val me_fun : module_type Arg.t option -> module_expr -> module_expr

val me_ident : path -> module_expr

val me_val : minors -> module_expr

val me_proj : module_expr -> Paths.S.t -> path -> module_expr

val minor : minors -> expr

val mt_ext : loc:Uloc.t -> string -> ext -> module_type

val mt_fun : module_type Arg.t option -> module_type -> module_type

val mt_ident : path_expr -> module_type

val mt_of : module_expr -> module_type

val mt_sig : m2l -> module_type

val mt_with : module_type -> with_constraints -> module_type

val with_init : with_constraints

val with_type : minors -> with_constraints -> with_constraints

val with_lhs : path -> with_constraints -> with_constraints

val with_module : 
  delete:bool ->
  lhs:Paths.S.t ->
  rhs:module_expr ->
  with_constraints ->
  with_constraints

val with_module_type : 
  delete:bool ->
  lhs:Paths.S.t ->
  rhs:module_type ->
  with_constraints ->
  with_constraints

val open_add : path -> opens -> opens

val open_init : opens

val open_me : opens -> module_expr -> module_expr

val path_expr_pure : path -> path_expr

val path_expr_app : path_expr -> path_expr -> path_expr

val path_expr_proj : path_expr -> Paths.S.t -> path -> path_expr

val sig_abstract : module_type

val sig_include : loc:Uloc.t -> module_type -> expr

val str : m2l -> module_expr

val unpacked : module_expr

package codept-lib