include module type of struct include Features.SUBTYPE.Id end
val loop : 'a -> 'b -> 'bval for_loop : 'a -> 'b -> 'bval for_index_loop : 'a -> 'b -> 'bval while_loop : 'a -> 'b -> 'bval state_passing_loop : 'a -> 'b -> 'bval continue : 'a -> 'b -> 'bval break : 'a -> 'b -> 'bval mutable_variable : 'a -> 'b -> 'bval mutable_reference : 'a -> 'b -> 'bval mutable_pointer : 'a -> 'b -> 'bval reference : 'a -> 'b -> 'bval slice : 'a -> 'b -> 'bval raw_pointer : 'a -> 'b -> 'bval early_exit : 'a -> 'b -> 'bval question_mark : 'a -> 'b -> 'bval macro : 'a -> 'b -> 'bval as_pattern : 'a -> 'b -> 'bval nontrivial_lhs : 'a -> 'b -> 'bval arbitrary_lhs : 'a -> 'b -> 'bval lifetime : 'a -> 'b -> 'bval construct_base : 'a -> 'b -> 'bval monadic_action : 'a -> 'b -> 'bval monadic_binding : 'a -> 'b -> 'bval quote : 'a -> 'b -> 'bval block : 'a -> 'b -> 'bval match_guard : 'a -> 'b -> 'bval trait_item_default : 'a -> 'b -> 'bval unsafe : 'a -> 'b -> 'b