module Functor_test:sig..end
module Maybe:sig..end
val get_age : string -> int option
val age_next_year : int Maybe.t -> int Maybe.t
val string_of_age : int option -> string
val stack : int Mystack.t
module Either:
module EitherString:Either(sig
typet =string
end)
val get_age_either : string -> int EitherString.t
val age_next_year_either : int EitherString.t -> int EitherString.t
val string_of_age_either : int EitherString.t -> string