type path = Transforms.answertype query = path Transforms.query_resulttype path_in_context = {loc : Uloc.t;edge : Deps.Edge.t option;level : Module.level;seed : Id.seed;ctx : state_diff;path : Paths.Simple.t;within : Module.signature option;}val pp : path_in_context Pp.tval pp_ml : module_like Pp.tval abstract : Id.seed -> module_likeModule like
val apply :
Transforms.param ->
Uloc.t ->
f:module_like ->
x:module_like ->
module_likeval unpacked : module_likeval fn : f:module_like -> x:module_like Module.Arg.t option -> module_likeval ident : path -> module_likeval str : m2l -> module_likeval ext : Transforms.param -> Uloc.t -> string -> unitval m_with : Paths.Simple.set -> module_like -> module_likeval empty : module_likeval signature : module_like -> Module.signature optionval with_module :
delete:bool ->
lhs:Paths.S.t ->
rhs:module_like ->
module_like ->
module_likeWith constraint
val with_module_type :
delete:bool ->
lhs:Paths.S.t ->
rhs:module_like ->
module_like ->
module_likeval m2l_add : state_diff -> m2l -> m2lM2l
val m2l_init : m2lval final : m2l -> Module.Sig.tval bind_rec_add : Name.t option -> module_like -> state_diff -> state_diffModule rec
val bind_rec_init : state_diffval included :
Transforms.param ->
Uloc.t ->
Id.seed ->
Module.level ->
module_like ->
state_diffExpr
val bind : Name.t option -> module_like -> state_diffval bind_sig : Name.t option -> module_like -> state_diffval opened : Transforms.param -> loc:Uloc.t -> module_like -> state_diffval empty_diff : state_diffmodule type state = sig ... end