Module Make.Namespace
val public_key : FragmentGraph.Predicate.tval message : FragmentGraph.Predicate.tval signature : FragmentGraph.Object.t
Make.Namespaceval public_key : FragmentGraph.Predicate.tval message : FragmentGraph.Predicate.tval signature : FragmentGraph.Object.t