Parameter Make.S0

include Features.SUBTYPE.T with module A = FA with module B = FB
module A = FA
module B = FB
include sig ... end
val loop : Span.t -> A.loop -> B.loop
val for_loop : Span.t -> A.for_loop -> B.for_loop
val for_index_loop : Span.t -> A.for_index_loop -> B.for_index_loop
val while_loop : Span.t -> A.while_loop -> B.while_loop
val state_passing_loop : Span.t -> A.state_passing_loop -> B.state_passing_loop
val fold_like_loop : Span.t -> A.fold_like_loop -> B.fold_like_loop
val continue : Span.t -> A.continue -> B.continue
val break : Span.t -> A.break -> B.break
val mutable_variable : Span.t -> A.mutable_variable -> B.mutable_variable
val mutable_reference : Span.t -> A.mutable_reference -> B.mutable_reference
val mutable_pointer : Span.t -> A.mutable_pointer -> B.mutable_pointer
val reference : Span.t -> A.reference -> B.reference
val slice : Span.t -> A.slice -> B.slice
val raw_pointer : Span.t -> A.raw_pointer -> B.raw_pointer
val early_exit : Span.t -> A.early_exit -> B.early_exit
val question_mark : Span.t -> A.question_mark -> B.question_mark
val macro : Span.t -> A.macro -> B.macro
val as_pattern : Span.t -> A.as_pattern -> B.as_pattern
val nontrivial_lhs : Span.t -> A.nontrivial_lhs -> B.nontrivial_lhs
val arbitrary_lhs : Span.t -> A.arbitrary_lhs -> B.arbitrary_lhs
val lifetime : Span.t -> A.lifetime -> B.lifetime
val construct_base : Span.t -> A.construct_base -> B.construct_base
val monadic_action : Span.t -> A.monadic_action -> B.monadic_action
val monadic_binding : Span.t -> A.monadic_binding -> B.monadic_binding
val quote : Span.t -> A.quote -> B.quote
val block : Span.t -> A.block -> B.block
val dyn : Span.t -> A.dyn -> B.dyn
val match_guard : Span.t -> A.match_guard -> B.match_guard
val trait_item_default : Span.t -> A.trait_item_default -> B.trait_item_default
val unsafe : Span.t -> A.unsafe -> B.unsafe
type error
val pp_error : Ppx_deriving_runtime.Format.formatter -> error -> Ppx_deriving_runtime.unit
val show_error : error -> Ppx_deriving_runtime.string
val equal_error : error -> error -> Ppx_deriving_runtime.bool
val yojson_of_error : error -> Ppx_yojson_conv_lib.Yojson.Safe.t
val error_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> error
exception E of error
val metadata : Phase_utils.Metadata.t