Source

mutated_ocaml / typing / ctype.mli

Diff from to

typing/ctype.mli

 val none: type_expr
         (* A dummy type expression *)
 
-val copy_with_loc : Location.t -> type_expr -> type_expr
-  (* Copy the type with setting tyloc *)
-val set_loc : Location.t -> type_expr -> type_expr
-  (* Modify the tyloc and return the same type. Use with care. *)
-
 val repr: type_expr -> type_expr
         (* Return the canonical representative of a type. *)