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