let fol_ltype_sizeof ty = match ty with | Ctype ty -> fol_ctype_sizeof ty | _ -> abort "sizeof logic type ?"