Proposition_And.fromJson constructor

Proposition_And.fromJson(
  1. String i, [
  2. ExtensionRegistry r = $pb.ExtensionRegistry.EMPTY
])

Implementation

factory Proposition_And.fromJson($core.String i, [$pb.ExtensionRegistry r = $pb.ExtensionRegistry.EMPTY]) => create()..mergeFromJson(i, r);