package GT

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
constraint 'b = 'sa1 t
inherit t_t
method t_t : ['a, 'sa, 'self, 'b, 'env] stateful_t_t -> 'env2 -> 'a1 t -> 'env3 * 'sa1 t