type t = bool
module M = struct
  type t = {field : int}
end


open M

let f {field} = field + 1
let g (x : t) = not x