Module type Lattice.Num

val x : unit -> int