Module Amall_types (.ml)

module Amall_types: sig .. end

type 'a res = [ `Error of exn | `Ok of 'a ] 

module type IO_Type = sig .. end

module type FUNCTOR = sig .. end

module type MONAD_SEQUENCE = sig .. end