1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
(** @canonical Serapi.Serapi_assumptions *)
module Serapi_assumptions = Serapi__Serapi_assumptions
(** @canonical Serapi.Serapi_doc *)
module Serapi_doc = Serapi__Serapi_doc
(** @canonical Serapi.Serapi_goals *)
module Serapi_goals = Serapi__Serapi_goals
(** @canonical Serapi.Serapi_paths *)
module Serapi_paths = Serapi__Serapi_paths
(** @canonical Serapi.Serapi_pp *)
module Serapi_pp = Serapi__Serapi_pp
(** @canonical Serapi.Serapi_protocol *)
module Serapi_protocol = Serapi__Serapi_protocol