Sarek_tag_erasure (sarek.Sarek_tag

val is_variant_ty : Sarek_types.typ -> bool

val map_desc : 
  (Sarek_typed_ast.texpr -> Sarek_typed_ast.texpr) ->
  Sarek_typed_ast.texpr_desc ->
  Sarek_typed_ast.texpr_desc

val iter_children : 
  (Sarek_typed_ast.texpr -> unit) ->
  Sarek_typed_ast.texpr ->
  unit

val map_children : 
  (Sarek_typed_ast.texpr -> Sarek_typed_ast.texpr) ->
  Sarek_typed_ast.texpr ->
  Sarek_typed_ast.texpr

val is_slot_var : int -> Sarek_typed_ast.texpr -> bool

val is_reducible_payload : Sarek_typed_ast.tpattern option -> bool

val is_ctor_case : 
  string ->
  (Sarek_typed_ast.tpattern * Sarek_typed_ast.texpr) ->
  bool

val arm_matches_ctor : 
  string ->
  (Sarek_typed_ast.tpattern * Sarek_typed_ast.texpr) ->
  bool

val ctor_arm_reachable : 
  string ->
  (Sarek_typed_ast.tpattern * Sarek_typed_ast.texpr) list ->
  bool

val uses_all_reducible : int -> string -> Sarek_typed_ast.texpr -> bool

val subst_var : 
  int ->
  Sarek_typed_ast.texpr ->
  Sarek_typed_ast.texpr ->
  Sarek_typed_ast.texpr

val reduce_matches : 
  int ->
  string ->
  (unit -> Sarek_typed_ast.texpr) option ->
  Sarek_typed_ast.texpr ->
  Sarek_typed_ast.texpr

val is_scalar_prim : Sarek_types.typ -> bool

val typ_tag : Sarek_types.typ -> string

val pos_field_name : int -> string

type field_plan =

| FKeep of int * Sarek_types.typ
(*
kept scalar field -> positional slot, its type
*)
| FUnary of int * Sarek_types.typ * string
(*
erased unary field -> slot, payload type, constructor name
*)
| FNullary of string
(*
erased nullary field -> dropped, constructor name
*)

val plan_fields : 
  (string * Sarek_typed_ast.texpr) list ->
  (string * field_plan) list option

val variant_field_ctor : (string * field_plan) list -> string -> string option

val field_read_of : int -> Sarek_typed_ast.texpr -> string option

val record_body_eligible : 
  int ->
  (string * field_plan) list ->
  Sarek_typed_ast.texpr ->
  bool

type rec_ctx = {

rc_rid : int;
rc_rname : string;
rc_synth_ty : Sarek_types.typ;
rc_plan : (string * field_plan) list;
rc_loc : Sarek_ast.loc;

}

val find_ctor_arm : 
  string ->
  (Sarek_typed_ast.tpattern * Sarek_typed_ast.texpr) list ->
  Sarek_typed_ast.tpattern option * Sarek_typed_ast.texpr

val mk_field_read : rec_ctx -> int -> Sarek_types.typ -> Sarek_typed_ast.texpr

val try_erase_record : 
  rec_ctx list ->
  string ->
  int ->
  Sarek_typed_ast.texpr ->
  Sarek_typed_ast.texpr ->
  Sarek_ast.loc ->
  Sarek_typed_ast.texpr option

val descend : rec_ctx list -> Sarek_typed_ast.texpr -> Sarek_typed_ast.texpr

val erase_record_fields : Sarek_typed_ast.texpr -> Sarek_typed_ast.texpr

val rewrite_body : Sarek_typed_ast.texpr -> Sarek_typed_ast.texpr

val transform_body : Sarek_typed_ast.texpr -> Sarek_typed_ast.texpr

val erase_tags : Sarek_typed_ast.tkernel -> Sarek_typed_ast.tkernel