Terminology mop-up.
This commit is contained in:
parent
46ebf12f40
commit
233be40e25
1 changed files with 2 additions and 2 deletions
|
@ -216,7 +216,7 @@ let iter_tup_parts
|
||||||
(get_element_ptr:'a -> int -> 'a)
|
(get_element_ptr:'a -> int -> 'a)
|
||||||
(dst_ptr:'a)
|
(dst_ptr:'a)
|
||||||
(src_ptr:'a)
|
(src_ptr:'a)
|
||||||
(slots:Ast.ty_tup)
|
(tys:Ast.ty_tup)
|
||||||
(f:'a -> 'a -> Ast.ty -> (Ast.ty_iso option) -> unit)
|
(f:'a -> 'a -> Ast.ty -> (Ast.ty_iso option) -> unit)
|
||||||
(curr_iso:Ast.ty_iso option)
|
(curr_iso:Ast.ty_iso option)
|
||||||
: unit =
|
: unit =
|
||||||
|
@ -227,7 +227,7 @@ let iter_tup_parts
|
||||||
(get_element_ptr src_ptr i)
|
(get_element_ptr src_ptr i)
|
||||||
ty curr_iso
|
ty curr_iso
|
||||||
end
|
end
|
||||||
slots
|
tys
|
||||||
;;
|
;;
|
||||||
|
|
||||||
let iter_rec_parts
|
let iter_rec_parts
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue