prbnmcn-basic-structures

Base package for prbnmcn-* packages
Library prbnmcn-basic-structures
type 'a cont = {
fa : 'b. ( 'a -> 'b ) -> 'b;
}
module Identity : sig ... end
module Cps : sig ... end
module Codegen_cps (Repr : sig ... end) (M : sig ... end) : sig ... end
module Codegen_identity (Repr : sig ... end) (M : sig ... end) : sig ... end