package GT

  1. Overview
  2. Docs
package GT
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Class GT.eval_string_tSource

constraint 'a = string
inherit string_t
method t_string : 'env -> string -> string