Sarek_defunc (sarek.Sarek

val is_fun_ty : Sarek_types.typ -> bool

val is_fun_typed : Sarek_typed_ast.texpr -> bool

Is the top constructor of this expression's type a function type?

val rewrite : 
  (int, Sarek_typed_ast.texpr) Stdlib.Hashtbl.t ->
  Sarek_typed_ast.texpr ->
  Sarek_typed_ast.texpr

val rewrite_desc : 
  (int, Sarek_typed_ast.texpr) Stdlib.Hashtbl.t ->
  Sarek_typed_ast.texpr_desc ->
  Sarek_typed_ast.texpr_desc

val resolve_callee : 
  (int, Sarek_typed_ast.texpr) Stdlib.Hashtbl.t ->
  Sarek_typed_ast.texpr ->
  Sarek_typed_ast.texpr

val rewrite_fexpr : 
  (int, Sarek_typed_ast.texpr) Stdlib.Hashtbl.t ->
  Sarek_typed_ast.texpr ->
  Sarek_typed_ast.texpr

val distribute_app : 
  Sarek_typed_ast.texpr ->
  Sarek_typed_ast.texpr list ->
  Sarek_types.typ ->
  Sarek_ast.loc ->
  Sarek_typed_ast.texpr

val push_args : 
  Sarek_typed_ast.texpr ->
  Sarek_typed_ast.texpr list ->
  Sarek_types.typ ->
  Sarek_ast.loc ->
  Sarek_typed_ast.texpr

val escape : string -> Sarek_types.typ -> Sarek_ast.loc -> 'a

val check_expr : Sarek_typed_ast.texpr -> unit

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

val rewrite_body : Sarek_typed_ast.texpr -> Sarek_typed_ast.texpr

val defunctionalize : Sarek_typed_ast.tkernel -> Sarek_typed_ast.tkernel