Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
P.Prop_spaceSourceval register : 'a prop -> unitval register_prop_parser :
string ->
(T.ctx -> T.pos -> t -> t Angstrom.t) ->
unitval mk_prop :
string ->
?register_prop:bool ->
?inherited:bool ->
'a ->
('a -> string) ->
?pp:(Format.formatter -> 'a -> unit) ->
(T.ctx -> 'a Angstrom.t) ->
'a propval get_var_prop : string -> string prop optionval parse_and_add_by_name :
string ->
(T.ctx -> Lexing.position -> t -> t Angstrom.t) optionval parse_and_add :
'a prop ->
(T.ctx -> Lexing.position -> t -> t Angstrom.t) optionval mk_var_prop : string -> string prop