Zipper_skeleton (u.d46c3231c535dc5aca58f43c8a4de834.codept-lib.0.12.1.doc.codept-lib.Zipper

Sourcetype path = Transforms.answer

Sourcetype query = path Transforms.query_result

Sourcetype module_like

Sourcetype m2l

Sourcetype state_diff

Sourcetype path_in_context = {

}

Sourceval pp : path_in_context Pp.t

Sourceval pp_ml : module_like Pp.t

Sourceval path : query -> path

Sourceval abstract : Id.seed -> module_like

Module like

val apply : 
  Transforms.param ->
  Uloc.t ->
  f:module_like ->
  x:module_like ->
  module_like

Sourceval unpacked : module_like

Sourceval fn : f:module_like -> x:module_like Module.Arg.t option -> module_like

Sourceval ident : path -> module_like

Sourceval str : m2l -> module_like

Sourceval ext : Transforms.param -> Uloc.t -> string -> unit

Sourceval m_with : Paths.Simple.set -> module_like -> module_like

Sourceval empty : module_like

Sourceval signature : module_like -> Module.signature option

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

With constraint

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

Sourceval m2l_add : state_diff -> m2l -> m2l

M2l

Sourceval m2l_init : m2l

Sourceval final : m2l -> Module.Sig.t

Sourceval bind_rec_add : Name.t option -> module_like -> state_diff -> state_diff

Module rec

Sourceval bind_rec_init : state_diff

val included : 
  Transforms.param ->
  Uloc.t ->
  Id.seed ->
  Module.level ->
  module_like ->
  state_diff

Expr

Sourceval bind : Name.t option -> module_like -> state_diff

Sourceval bind_sig : Name.t option -> module_like -> state_diff

Sourceval opened : Transforms.param -> loc:Uloc.t -> module_like -> state_diff

Sourceval empty_diff : state_diff

Sourcemodule type state = sig ... end

Sourcemodule State (Env : Stage.envt) : state with type env = Env.t