dco_decode_mk_parse_options method
Implementation
@protected
MkParseOptions dco_decode_mk_parse_options(dynamic raw) {
// Codec=Dco (DartCObject based), see doc to use other codecs
final arr = raw as List<dynamic>;
if (arr.length != 3)
throw Exception('unexpected arr length: expect 3 but see ${arr.length}');
return MkParseOptions(
constructs: dco_decode_mk_constructs(arr[0]),
gfmStrikethroughSingleTilde: dco_decode_bool(arr[1]),
mathTextSingleDollar: dco_decode_bool(arr[2]),
);
}