type t = A.t

let x : A.t = A.x

let f : A.t -> A.t = fun x -> x

let g : A.s -> unit = fun _ -> ()